Skip to content

Commit

Permalink
Typo in morphisms.tex
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed May 17, 2018
1 parent b137ce7 commit ccca170
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion morphisms.tex
Expand Up @@ -7804,7 +7804,7 @@ \section{\'Etale morphisms}
\medskip\noindent
In case (2) let $x' \in W'$. Then $g'$ is flat at $x'$
(Lemma \ref{lemma-base-change-module-flat}) and
$g \circ f$ is flat at $x'$ (Lemma \ref{lemma-composition-module-flat}).
$g \circ f'$ is flat at $x'$ (Lemma \ref{lemma-composition-module-flat}).
It follows that $f$ is flat at $x = g'(x')$
by Lemma \ref{lemma-flat-permanence}. On the other hand, since
$x' \in T'$ (Lemma \ref{lemma-base-change-smooth})
Expand Down

0 comments on commit ccca170

Please sign in to comment.