Lemma 38.13.9. Let $f : X \to S$ be a morphism of schemes which is locally of finite type and flat. If $S$ is integral, then $f$ is locally of finite presentation.
Proof. Special case of Lemma 38.13.8. $\square$
Lemma 38.13.9. Let $f : X \to S$ be a morphism of schemes which is locally of finite type and flat. If $S$ is integral, then $f$ is locally of finite presentation.
Proof. Special case of Lemma 38.13.8. $\square$
Comments (0)
There are also: