summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-accq205.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index 4642f13..87c844b 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -5701,7 +5701,7 @@ $a=1$ et du coup $b=e$. La valuation est donc complètement déterminée
par la situation, et comme on sait déjà qu'elle doit exister, on a
montré un cas particulier du résultat suivant :
-\begin{prop}
+\begin{prop}\label{smooth-points-give-unique-place}
Si $h \in k[x,y]$ est un polynôme irréductible tel que $h'_x$ et
$h'_y$ ne soient pas tous deux nuls en un certain point fermé de
$Z(h)$ (la valeur d'un polynôme en un point fermé $Z(\mathfrak{m})$