COPYING,LICENSE: add them (AGPL-3.0+)

[mjotex.git] / mjo-theorem.tex

diff --git a/mjo-theorem.tex b/mjo-theorem.tex
index 8bc945f5cfb3eae0da7a06518cee94ffe2851d35..ea0ca332922827ae38fa388b2cf89d72ec3349ca 100644 (file)
--- a/mjo-theorem.tex
+++ b/mjo-theorem.tex
@@ -2,11 +2,16 @@
 % The standard corollary, definition, theorem, etc. that we all define
 % in every single paper.
 %
+\ifx\havemjotheorem\undefined
+\def\havemjotheorem{1}
 
-\usepackage{amsthm}
+\ifx\theoremstyle\undefined
+  \usepackage{amsthm}
+\fi
 
 \theoremstyle{plain}
 \newtheorem{corollary}{Corollary}
+\newtheorem{exercise}{Exercise}
 \newtheorem{lemma}{Lemma}
 \newtheorem{proposition}{Proposition}
 \newtheorem{theorem}{Theorem}
@@ -17,3 +22,6 @@
 
 \theoremstyle{remark}
 \newtheorem{remark}{Remark}
+
+
+\fi