Lemma 29.43.8. A base change of a H-projective morphism is H-projective.

Proof. This is true because the base change of projective space over a scheme is projective space, and the fact that the base change of a closed immersion is a closed immersion, see Schemes, Lemma 26.18.2. $\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).