diff options
Diffstat (limited to 'paper/paper.tex')
| -rw-r--r-- | paper/paper.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/paper/paper.tex b/paper/paper.tex index d2fdcb9..36eccc7 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -63,6 +63,7 @@ \newtheorem{corollary}{Corollary} \newtheorem{remark}{Remark} \newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} \begin{document} |