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

