summaryrefslogtreecommitdiffstats
path: root/chapitres
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo+git@gmail.com>2012-10-12 09:05:25 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-10-12 09:05:25 (GMT)
commit57fd6573aa281c01f1174af88713814269948a0a (patch)
treee3b4649dd4141c52846471e8c08bcc4b5e39e80e /chapitres
parent2a9a2696535696fab8f27cf6aa1c0108107c921c (diff)
downloadgalois-57fd6573aa281c01f1174af88713814269948a0a.zip
galois-57fd6573aa281c01f1174af88713814269948a0a.tar.gz
galois-57fd6573aa281c01f1174af88713814269948a0a.tar.bz2
[AVD-D] ajout étiquette
Diffstat (limited to 'chapitres')
-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}