summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--chapitres/AVD-Dedekind.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index 645a92e..20df9e2 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -1099,6 +1099,7 @@ Critère de ramification via division de $𝒟_{L\bo K}$.
\end{proposition2}
\begin{corollaire2}
+\label{extension est presque partout nette}
Presque tous les idéaux sont non-ramifiés.
\end{corollaire2}