Lemma 87.24.3. The composition of finite type morphisms is of finite type. The same holds for locally of finite type.
Lemma 87.24.3. The composition of finite type morphisms is of finite type. The same holds for locally of finite type.
Proof. See Bootstrap, Lemma 80.4.3 and use Morphisms of Spaces, Lemma 67.23.2. $\square$
Comments (0)