summaryrefslogtreecommitdiffstats
path: root/chapitres/AC.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/AC.tex')
-rw-r--r--chapitres/AC.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index 3aa018d..54d99fa 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -1215,7 +1215,7 @@ Complétion est complète dans cas nœthérien (idéal de type fini).
\begin{proposition2}
Lemme de Hensel.
-\end{lemme2}
+\end{proposition2}
\begin{proposition2}
Les conditions suivantes sont équivalentes :