Lemma 65.28.3. A base change of a morphism of finite presentation is of finite presentation. The same holds for locally of finite presentation.

Proof. See Remark 65.22.4 and Morphisms, Lemma 29.21.4. Also use the result for quasi-compact and for quasi-separated morphisms (Lemmas 65.8.4 and 65.4.4). $\square$

Comment #6295 by typo_bot on

There is a period missing to end the first sentence of the statement.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).