From 57715cacec8d0f0d3d1436a26f92ae5c0f0e128e Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Tue, 27 Aug 2024 21:07:18 +0200
Subject: debut du background sur ZF

---
 theorem.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'theorem.tex')

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]
-- 
cgit v1.2.3


From 0e95544f85b523a95fb05b36c4e6b8789c73abfa Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Wed, 4 Sep 2024 00:12:49 +0200
Subject: traduction classification fini

---
 theorem.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'theorem.tex')

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]
-- 
cgit v1.2.3


From 4aae3ea0427a6c9e9a8519a38d9d9d0ac5f0ec9c Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Sat, 21 Sep 2024 16:27:27 +0200
Subject: fin intro

---
 theorem.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'theorem.tex')

diff --git a/theorem.tex b/theorem.tex
index 1021fc1..ebab7f8 100644
--- a/theorem.tex
+++ b/theorem.tex
@@ -1,5 +1,6 @@
 
 \newtheorem{definition}{Définition}[chapter]
+\newtheorem{conjecture}{Conjecture}[chapter]
 \newtheorem{theorem}{Théoreme}[chapter]
 \newtheorem{propriete}{Propriété}[chapter]
 \newtheorem{lemma}[theorem]{Lemme}
-- 
cgit v1.2.3

