Lemma 87.24.4. A base change of a finite type morphism is finite type. The same holds for locally of finite type.
Lemma 87.24.4. A base change of a finite type morphism is finite type. The same holds for locally of finite type.
Proof. See Bootstrap, Lemma 80.4.2 and use Morphisms of Spaces, Lemma 67.23.3. \square
Comments (0)