47 |
47 |
48 |
48 |
49 % THEOREMS ------------------------------------------------------- |
49 % THEOREMS ------------------------------------------------------- |
50 \theoremstyle{plain} |
50 \theoremstyle{plain} |
51 %\newtheorem*{fact}{Fact} |
51 %\newtheorem*{fact}{Fact} |
52 \newtheorem{prop}{Proposition}[section] |
52 \newtheorem{prop}{Proposition}[subsection] |
53 \newtheorem{conj}[prop]{Conjecture} |
53 \newtheorem{conj}[prop]{Conjecture} |
54 \newtheorem{thm}[prop]{Theorem} |
54 \newtheorem{thm}[prop]{Theorem} |
55 \newtheorem{lem}[prop]{Lemma} |
55 \newtheorem{lem}[prop]{Lemma} |
56 \newtheorem*{lem*}{Lemma} |
56 \newtheorem*{lem*}{Lemma} |
57 \newtheorem{claim}[prop]{Claim} |
57 \newtheorem{claim}[prop]{Claim} |
59 \newtheorem*{cor*}{Corollary} |
59 \newtheorem*{cor*}{Corollary} |
60 \newtheorem*{exc}{Exercise} |
60 \newtheorem*{exc}{Exercise} |
61 \newtheorem{defn}[prop]{Definition} % numbered definition |
61 \newtheorem{defn}[prop]{Definition} % numbered definition |
62 \newtheorem*{defn*}{Definition} % unnumbered definition |
62 \newtheorem*{defn*}{Definition} % unnumbered definition |
63 \newtheorem{question}{Question} |
63 \newtheorem{question}{Question} |
64 \newtheorem{property}{Property} |
64 \newtheorem{property}[prop]{Property} |
65 \newtheorem{axiom}{Axiom}[section] |
65 \newtheorem{axiom}[prop]{Axiom} |
66 \newtheorem{module-axiom}{Module Axiom}[section] |
66 \newtheorem{module-axiom}[prop]{Module Axiom} |
67 \newenvironment{rem}{\noindent\textsl{Remark.}}{} % perhaps looks better than rem above? |
67 \newenvironment{rem}{\noindent\textsl{Remark.}}{} % perhaps looks better than rem above? |
68 \newtheorem{rem*}[prop]{Remark} |
68 \newtheorem{rem*}[prop]{Remark} |
69 \newtheorem{remark}[prop]{Remark} |
69 \newtheorem{remark}[prop]{Remark} |
70 \numberwithin{equation}{section} |
70 \numberwithin{equation}{section} |
71 %% example is defined in article_preamble.tex, for compatibility with beamer. |
71 %% example is defined in article_preamble.tex, for compatibility with beamer. |