Lemma 29.21.11. Let $f : X \to Y$ be a morphism of schemes over $S$.

If $X$ is locally of finite presentation over $S$ and $Y$ is locally of finite type over $S$, then $f$ is locally of finite presentation.

If $X$ is of finite presentation over $S$ and $Y$ is quasi-separated and locally of finite type over $S$, then $f$ is of finite presentation.

## Comments (0)