From 33b3698333fd25878219a3d9a048e2808071e969 Mon Sep 17 00:00:00 2001 From: Oliver Kennedy Date: Fri, 2 Aug 2019 10:33:56 -0400 Subject: [PATCH] assumption --- macros.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/macros.tex b/macros.tex index 07a8c6f..abcbe3e 100644 --- a/macros.tex +++ b/macros.tex @@ -160,6 +160,7 @@ \newtheorem{Corollary}{Corollary} \newtheorem{Example}{Example} \newtheorem{Axiom}{Axiom} +\newtheorem{Assumption}{Assumption} \newcommand{\proofpara}[1]{\medskip\noindent\underline{{#1}:}}