Moving our two main results to a section preceding the introduction of our mechanism

1 files changed, 1 insertions, 0 deletions

diff --git a/definitions.tex b/definitions.tex
index 616012e..281b290 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -1,6 +1,7 @@
 \newcommand{\mutual}{\ensuremath{{I}}}
 \newcommand{\entropy}{\ensuremath{{H}}}
 \newtheorem{lemma}{Lemma}
+\newtheorem{proposition}{Proposition}
 \newtheorem{fact}{Fact}
 \newtheorem{example}{Example}
 \newtheorem{prop}{Proposition}