changeset 884 | d5caffd01b72 |
parent 611 | fd6e53389f2c |
child 978 | a80cc9f9a65b |
--- a/preamble.tex Thu Aug 11 13:25:22 2011 -0700 +++ b/preamble.tex Thu Aug 11 13:26:00 2011 -0700 @@ -50,6 +50,9 @@ \theoremstyle{plain} %\newtheorem*{fact}{Fact} \newtheorem{prop}{Proposition}[subsection] +\makeatletter +\@addtoreset{prop}{section} +\makeatother \newtheorem{conj}[prop]{Conjecture} \newtheorem{thm}[prop]{Theorem} \newtheorem{lem}[prop]{Lemma}