Lemma 64.28.7. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$.

If $Y$ is locally Noetherian and $f$ locally of finite type then $f$ is locally of finite presentation.

If $Y$ is locally Noetherian and $f$ of finite type and quasi-separated then $f$ is of finite presentation.

## Comments (0)