Lemma 37.62.6. Let $X \to Y$ and $Y' \to Y$ be morphisms of schemes and let $X' = Y' \times _ Y X$ be the base change of $X$.

If $X \to X \times _ Y X$ is flat, then $X' \to X' \times _{Y'} X'$ is flat.

If $X \to Y$ is weakly étale, then $X' \to Y'$ is weakly étale.

## Comments (0)