Skip to content

Commit

Permalink
Flip components for consistency
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jul 19, 2021
1 parent 6e8967f commit f8b30e0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spaces.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1322,7 +1322,7 @@ \section{Algebraic spaces and equivalence relations}

\begin{proof}
By Groupoids, Lemma \ref{groupoids-lemma-restrict-relation}
the morphism $j' = (t', s') : R' \to U' \times_S U'$
the morphism $j' = (s', t') : R' \to U' \times_S U'$
defines an equivalence relation. Since $g$ is flat and locally of
finite presentation we see that $g$ is universally open as well
(Morphisms, Lemma \ref{morphisms-lemma-fppf-open}).
Expand Down

0 comments on commit f8b30e0

Please sign in to comment.