Make explicit lattice discretization even more verbose

1 files changed, 0 insertions, 8 deletions

diff --git a/main.tex b/main.tex
index a32efad..dc357eb 100644
--- a/main.tex
+++ b/main.tex
@@ -30,14 +30,6 @@
 
 \setlength{\topmargin}{-15mm}
 
-\newtheorem{Satz}{Satz}[section]
-\newtheorem{Lemma}[Satz]{Lemma}
-
-\theoremstyle{definition}
-\newtheorem{Definition}{Definition}[section]
-
-\numberwithin{equation}{section}
-
 \input{commands.tex}
 
 \begin{document}