diff options
| author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-21 16:33:51 +0200 |
|---|---|---|
| committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-09-21 16:33:51 +0200 |
| commit | b8504c330be30ccf771d6745a34f395a83395ea5 (patch) | |
| tree | 9bbd9285d530381e3e743266fbf62be35df3a7c8 /theorem.tex | |
| parent | 00ec61946ddf3a7c2abf7d7e0730fc8e21b50f37 (diff) | |
| parent | 06c724f61e746772dc46aaf7e11c96abc1a49dd1 (diff) | |
merge with brouillon
Diffstat (limited to 'theorem.tex')
| -rw-r--r-- | theorem.tex | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/theorem.tex b/theorem.tex index 22ef268..ebab7f8 100644 --- a/theorem.tex +++ b/theorem.tex @@ -1,5 +1,7 @@ -\newtheorem{definition}{Definition} -\newtheorem{theorem}{Theorem} -\newtheorem{lemma}{Lemma} -\newtheorem{corollary}{Corollary}[theorem] +\newtheorem{definition}{Définition}[chapter] +\newtheorem{conjecture}{Conjecture}[chapter] +\newtheorem{theorem}{Théoreme}[chapter] +\newtheorem{propriete}{Propriété}[chapter] +\newtheorem{lemma}[theorem]{Lemme} +\newtheorem{corollary}{Corollère}[theorem] |