Lemma 101.17.3. A base change of a finite type morphism is finite type. The same holds for locally of finite type.
Lemma 101.17.3. A base change of a finite type morphism is finite type. The same holds for locally of finite type.
Proof. Combine Remark 101.16.4 with Morphisms of Spaces, Lemma 67.23.3. $\square$
Comments (0)