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