Permalink
Browse files

typo

  • Loading branch information...
iblech authored and aisejohan committed May 7, 2017
1 parent 4467978 commit efdd95250fa23395e6585455aee52cc7972cc1a8
Showing with 1 addition and 1 deletion.
  1. +1 −1 morphisms.tex
View
@@ -956,7 +956,7 @@ \section{Scheme theoretic image}
\begin{lemma}
\label{lemma-scheme-theoretic-image-of-partial-section}
Let $f : X \to Y$ be a separated morphism of schemes.
Let $V \subset Y$ be a restrocompact open. Let $s : V \to X$
Let $V \subset Y$ be a retrocompact open. Let $s : V \to X$
be a morphism such that $f \circ s = \text{id}_V$.
Let $Y'$ be the scheme theoretic image of $s$.
Then $Y' \to Y$ is an isomorphism over $V$.

0 comments on commit efdd952

Please sign in to comment.