Add missing text in proof in schemes

Thanks to Samir Canning https://stacks.math.columbia.edu/tag/01HH#comment-2814
stacks · Oct 9, 2017 · 7b406aa · 7b406aa
1 parent f25be5d
commit 7b406aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -28,6 +28,7 @@ Martin Bright
 David Brown
 Niels Borne
 Ragnar-Olaf Buchweitz
+Samir Canning
 Robert Cardona
 Nuno Cardoso
 Scott Carnahan

diff --git a/schemes.tex b/schemes.tex
@@ -258,6 +258,7 @@ \section{Open immersions of locally ringed spaces}
 (Sheaves, Lemma \ref{sheaves-lemma-pullback-composition}) we
 see that $f^{-1}\mathcal{O}_Y = f'^{-1}\mathcal{O}_V$, hence
 $\Gamma(U, f'^{-1}(\mathcal{O}_V)) \to \Gamma(U, f^{-1}(\mathcal{O}_Y))$
+is an isomorphism
 for every $U \subset X$ open. By composing these we get an isomorphism of rings
 $$
 \Gamma(U, f'^{-1}(\mathcal{O}_V)) \to \Gamma(U, \mathcal{O}_X)