Lemma 32.18.3. Assumptions and notation as in Situation 32.8.1. Let $d \geq 0$. If

$f$ has relative dimension $\leq d$ (Morphisms, Definition 29.29.1), and

$f_0$ is locally of finite type,

then there exists an $i$ such that $f_ i$ has relative dimension $\leq d$.

## Comments (0)