Lemma 74.16.1. The property $\mathcal{P}(f)=$“$f$ is locally of finite presentation” is fppf local on the source.
Proof. Follows from Lemma 74.14.3 using Morphisms of Spaces, Definition 67.28.1 and Descent, Lemma 35.28.1. $\square$
Lemma 74.16.1. The property $\mathcal{P}(f)=$“$f$ is locally of finite presentation” is fppf local on the source.
Proof. Follows from Lemma 74.14.3 using Morphisms of Spaces, Definition 67.28.1 and Descent, Lemma 35.28.1. $\square$
Comments (0)