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)