From 103677f1a14fe1aec281a69e5d68bbc72335dd9e Mon Sep 17 00:00:00 2001
From: Jan Aalmoes <jan.aalmoes@inria.fr>
Date: Sun, 7 Jan 2024 18:42:27 +0100
Subject: classification finie en anglais

---
 theorem.tex | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 theorem.tex

(limited to 'theorem.tex')

diff --git a/theorem.tex b/theorem.tex
new file mode 100644
index 0000000..22ef268
--- /dev/null
+++ b/theorem.tex
@@ -0,0 +1,5 @@
+
+\newtheorem{definition}{Definition}
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}{Lemma}
+\newtheorem{corollary}{Corollary}[theorem]
-- 
cgit v1.2.3

