From bd466d7f21a032102e4d81601b76dbf307db49f4 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 14 Apr 2016 16:35:22 +0200
Subject: Add anchor for cross-referencing.

---
 notes-accq205.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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})$
-- 
cgit v1.2.3