diff options
Diffstat (limited to 'definitions.tex')
| -rw-r--r-- | definitions.tex | 1 |
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} |