preamble.tex
changeset 884 d5caffd01b72
parent 611 fd6e53389f2c
child 978 a80cc9f9a65b
equal deleted inserted replaced
883:e5746e649487 884:d5caffd01b72
    48 
    48 
    49 % THEOREMS -------------------------------------------------------
    49 % THEOREMS -------------------------------------------------------
    50 \theoremstyle{plain}
    50 \theoremstyle{plain}
    51 %\newtheorem*{fact}{Fact}
    51 %\newtheorem*{fact}{Fact}
    52 \newtheorem{prop}{Proposition}[subsection]
    52 \newtheorem{prop}{Proposition}[subsection]
       
    53 \makeatletter
       
    54 \@addtoreset{prop}{section}
       
    55 \makeatother
    53 \newtheorem{conj}[prop]{Conjecture}
    56 \newtheorem{conj}[prop]{Conjecture}
    54 \newtheorem{thm}[prop]{Theorem}
    57 \newtheorem{thm}[prop]{Theorem}
    55 \newtheorem{lem}[prop]{Lemma}
    58 \newtheorem{lem}[prop]{Lemma}
    56 \newtheorem*{lem*}{Lemma}
    59 \newtheorem*{lem*}{Lemma}
    57 \newtheorem{cor}[prop]{Corollary}
    60 \newtheorem{cor}[prop]{Corollary}