Lemma 35.23.23. The property $\mathcal{P}(f) =$“$f$ is finite” is fpqc local on the base.
Proof. An finite morphism is the same thing as an integral morphism which is locally of finite type. See Morphisms, Lemma 29.44.4. Hence the lemma follows on combining Lemmas 35.23.10 and 35.23.22. $\square$
Comments (0)
There are also: