Lemma 74.19.3. A base change of a formally smooth morphism is formally smooth.

Proof. Omitted, but see Algebra, Lemma 10.138.2 for the algebraic version. $\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).