diff options
| author | Thibaut Horel <thibaut.horel@gmail.com> | 2012-11-05 20:26:47 +0100 |
|---|---|---|
| committer | Thibaut Horel <thibaut.horel@gmail.com> | 2012-11-05 20:26:47 +0100 |
| commit | 27d8e79fc01a9a1e2d17ab7945a627a7fe9f5c4a (patch) | |
| tree | 85960ae1f8059940f4c60721bd1fe12c2a27f03e /definitions.tex | |
| parent | 07e4a9dc1a5ff20996dc67adf01fa35cc233cfbe (diff) | |
| download | recommendation-27d8e79fc01a9a1e2d17ab7945a627a7fe9f5c4a.tar.gz | |
Changes to section 5
Diffstat (limited to 'definitions.tex')
| -rw-r--r-- | definitions.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/definitions.tex b/definitions.tex index 526f544..de551ca 100644 --- a/definitions.tex +++ b/definitions.tex @@ -5,6 +5,7 @@ \newtheorem{example}{Example} \newtheorem{prop}{Proposition} \newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} %\newcommand*{\defeq}{\stackrel{\text{def}}{=}} \newcommand*{\defeq}{\equiv} \newcommand{\var}{\mathop{\mathrm{Var}}} @@ -26,4 +27,4 @@ \newcommand{\E}{{\tt E}} \newcommand{\id}{\mathbbm{1}} \newcommand{\junk}[1]{} -\newcommand{\edp}{{\tt EDP}}
\ No newline at end of file +\newcommand{\edp}{{\tt EDP}} |