Lemma 67.23.3. A base change of a finite type morphism is finite type. The same holds for locally of finite type.
Lemma 67.23.3. A base change of a finite type morphism is finite type. The same holds for locally of finite type.
Proof. See Remark 67.22.4 and Morphisms, Lemma 29.15.4. $\square$
Comments (0)