Lemma 76.37.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $V \subset Y$ be an open subspace. Assume

$f$ is locally of finite type and flat,

$V \to Y$ is quasi-compact and scheme theoretically dense,

$f|_{f^{-1}V} : f^{-1}V \to V$ is locally of finite presentation.

Then $f$ is of locally of finite presentation.

## Comments (0)