assumption

This commit is contained in:
Oliver Kennedy 2019-08-02 10:33:56 -04:00
parent 8270b01aab
commit 33b3698333

View file

@ -160,6 +160,7 @@
\newtheorem{Corollary}{Corollary}
\newtheorem{Example}{Example}
\newtheorem{Axiom}{Axiom}
\newtheorem{Assumption}{Assumption}
\newcommand{\proofpara}[1]{\medskip\noindent\underline{{#1}:}}