summaryrefslogtreecommitdiff
path: root/theorem.tex
blob: 22ef2683af00cf3051a2255eab244665afd3ee1f (plain)
1
2
3
4
5

\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{corollary}{Corollary}[theorem]