Modify proof section

1 files changed, 1 insertions, 0 deletions

diff --git a/main.tex b/main.tex
index cd0aef6..fac8f20 100644
--- a/main.tex
+++ b/main.tex
@@ -88,6 +88,7 @@
 \newcommand{\legup}{Leg\-Up}
 
 \newtheorem{theorem}{Theorem}
+\newtheorem{lemma}{Lemma}
 
 \begin{document}