Lemma 88.13.6. Let $S$ be a scheme. Let $f : X \to Y$ and $g : Z \to Y$ be morphisms of locally Noetherian formal algebraic spaces over $S$.

If $f$ is flat and $g_{red} : Z_{red} \to Y_{red}$ is locally of finite type, then the base change $X \times _ Y Z \to Z$ is flat.

If $f$ is flat and locally of finite type, then the base change $X \times _ Y Z \to Z$ is flat and locally of finite type.

## Comments (0)