Lemma 35.33.6. Let $d \in \{ 0, 1, 2, \ldots , \infty \} $. The property of morphisms of germs
\[ \mathcal{P}_ d((X, x) \to (S, s)) = \text{the local ring } \mathcal{O}_{X_ s, x} \text{ of the fibre has dimension }d \]
is étale local on the source-and-target.
Comments (0)
There are also: