Lemma 86.24.4. A base change of a finite type morphism is finite type. The same holds for locally of finite type.

Proof. See Bootstrap, Lemma 79.4.2 and use Morphisms of Spaces, Lemma 66.23.3. $\square$

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).