equal
deleted
inserted
replaced
59 %\newtheorem*{fact}{Fact} |
59 %\newtheorem*{fact}{Fact} |
60 \newtheorem{prop}{Proposition}[section] |
60 \newtheorem{prop}{Proposition}[section] |
61 \newtheorem{conj}[prop]{Conjecture} |
61 \newtheorem{conj}[prop]{Conjecture} |
62 \newtheorem{thm}[prop]{Theorem} |
62 \newtheorem{thm}[prop]{Theorem} |
63 \newtheorem{lem}[prop]{Lemma} |
63 \newtheorem{lem}[prop]{Lemma} |
|
64 \newtheorem*{lem*}{Lemma} |
64 \newtheorem{claim}[prop]{Claim} |
65 \newtheorem{claim}[prop]{Claim} |
65 \newtheorem{cor}[prop]{Corollary} |
66 \newtheorem{cor}[prop]{Corollary} |
66 \newtheorem*{cor*}{Corollary} |
67 \newtheorem*{cor*}{Corollary} |
67 \newtheorem*{exc}{Exercise} |
68 \newtheorem*{exc}{Exercise} |
68 %\theoremstyle{definition} |
69 %\theoremstyle{definition} |