3 ---> 4

Thanks to fherzig https://stacks.math.columbia.edu/tag/02LS#comment-4586
stacks · Dec 9, 2019 · 839ea5e · 839ea5e
1 parent a703587
commit 839ea5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/more-morphisms.tex b/more-morphisms.tex
@@ -11067,7 +11067,7 @@ \section{Applications of Zariski's Main Theorem, I}
 \ref{morphisms-lemma-quasi-finite}.
 
 \medskip\noindent
-Assume (3). Pick $s \in S$. By
+Assume (4). Pick $s \in S$. By
 Morphisms, Lemma \ref{morphisms-lemma-finite-fibre} we
 see that all the finitely many points of $X_s$ are isolated in $X_s$.
 Choose an elementary \'etale neighbourhood $(U, u) \to (S, s)$