Lemma 37.57.3. A flat base change of a pseudo-coherent morphism is pseudo-coherent.

Proof. This translates into the following algebra result: Let $A \to B$ be a pseudo-coherent ring map. Let $A \to A'$ be flat. Then $A' \to B \otimes _ A A'$ is pseudo-coherent. This follows from the more general More on Algebra, Lemma 15.81.12. $\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).