Lemma 29.29.2. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. If $f$ has relative dimension $d$, then so does any base change of $f$. Same for relative dimension $\leq d$.
Proof. This is immediate from Lemma 29.28.3. $\square$
Comments (0)