diff options
| author | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-08-27 21:07:18 +0200 |
|---|---|---|
| committer | Jan Aalmoes <jan.aalmoes@inria.fr> | 2024-08-27 21:07:18 +0200 |
| commit | 57715cacec8d0f0d3d1436a26f92ae5c0f0e128e (patch) | |
| tree | 985ae1d9895e0233f4e24a1f34046a42b46eb648 /theorem.tex | |
| parent | 4edf87ea8a5ce3e76285172af2eaecc7bc21813d (diff) | |
debut du background sur ZF
Diffstat (limited to 'theorem.tex')
| -rw-r--r-- | theorem.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/theorem.tex b/theorem.tex index 22ef268..0518a88 100644 --- a/theorem.tex +++ b/theorem.tex @@ -1,5 +1,5 @@ -\newtheorem{definition}{Definition} -\newtheorem{theorem}{Theorem} -\newtheorem{lemma}{Lemma} -\newtheorem{corollary}{Corollary}[theorem] +\newtheorem{definition}{Définition}[chapter] +\newtheorem{theorem}{Théoreme}[chapter] +\newtheorem{lemma}[theorem]{Lemme} +\newtheorem{corollary}{Corollère}[theorem] |