Moving the proofs to the appendix, improving the flow

1 files changed, 1 insertions, 1 deletions

diff --git a/definitions.tex b/definitions.tex
index a05edae..d474853 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -8,7 +8,7 @@
 \newtheorem{theorem}[lemma]{Theorem}
 \newtheorem{corollary}[lemma]{Corollary}
 \theoremstyle{definition}
-\newtheorem*{definition}{Definition}
+\newtheorem{definition}[lemma]{Definition}
 \newcommand{\citeN}{\citet}
 %\newcommand*{\defeq}{\stackrel{\text{def}}{=}}
 \newcommand*{\defeq}{\equiv}