Lemma 74.18.1. The property \mathcal{P}(f)=“f is smooth” is smooth local on the source.
Proof. Follows from Lemma 74.14.3 using Morphisms of Spaces, Definition 67.37.1 and Descent, Lemma 35.30.1. \square
Lemma 74.18.1. The property \mathcal{P}(f)=“f is smooth” is smooth local on the source.
Proof. Follows from Lemma 74.14.3 using Morphisms of Spaces, Definition 67.37.1 and Descent, Lemma 35.30.1. \square
Comments (0)