Lemma 29.34.8. A smooth morphism is locally of finite presentation.
Proof. True because a smooth ring map is of finite presentation by definition. \square
Lemma 29.34.8. A smooth morphism is locally of finite presentation.
Proof. True because a smooth ring map is of finite presentation by definition. \square
Comments (0)
There are also: