summaryrefslogtreecommitdiff
path: root/theorem.tex
diff options
context:
space:
mode:
authorJan Aalmoes <jan.aalmoes@inria.fr>2024-09-04 00:12:49 +0200
committerJan Aalmoes <jan.aalmoes@inria.fr>2024-09-04 00:12:49 +0200
commit0e95544f85b523a95fb05b36c4e6b8789c73abfa (patch)
tree4229bad597b487e2395a2fc91e7023c6672bb29d /theorem.tex
parentdc5a898dc39326fa3f733f3d9e006bbe3d1f8e4c (diff)
traduction classification fini
Diffstat (limited to 'theorem.tex')
-rw-r--r--theorem.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/theorem.tex b/theorem.tex
index 0518a88..1021fc1 100644
--- a/theorem.tex
+++ b/theorem.tex
@@ -1,5 +1,6 @@
\newtheorem{definition}{Définition}[chapter]
\newtheorem{theorem}{Théoreme}[chapter]
+\newtheorem{propriete}{Propriété}[chapter]
\newtheorem{lemma}[theorem]{Lemme}
\newtheorem{corollary}{Corollère}[theorem]