summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
diff options
context:
space:
mode:
Diffstat (limited to 'chapitres/AVD-Dedekind.tex')
-rw-r--r--chapitres/AVD-Dedekind.tex4
1 files changed, 4 insertions, 0 deletions
diff --git a/chapitres/AVD-Dedekind.tex b/chapitres/AVD-Dedekind.tex
index f9dce47..952eff3 100644
--- a/chapitres/AVD-Dedekind.tex
+++ b/chapitres/AVD-Dedekind.tex
@@ -910,6 +910,10 @@ Cela se traduit par l'égalité $L=K_n$
et finalement $K\sep=\cup_n K_n$.
\end{démo}
+
+Référence « constructive » : Dynamic Newton-Puiseux Theorem,
+Mannaa, Coquand ; arxiv:1304.6770. 
+
\section{Extensions cyclotomiques}
\begin{théorème2}