Lemma 35.30.1. The property $\mathcal{P}(f)=$“$f$ is smooth” is smooth local on the source.
Proof. Combine Lemma 35.26.4 with Morphisms, Lemma 29.34.2 (local for Zariski on source and target), Morphisms, Lemma 29.34.4 (pre-composing), and Lemma 35.14.4 (part (4)). $\square$
Comments (0)
There are also: