Commit 2024-09-02 10:52 c04874b1
View on Github →feat(AlgebraicGeometry): morphisms locally of finite presentation (#14053) Define morphisms locally of finite presentation.
feat(AlgebraicGeometry): morphisms locally of finite presentation (#14053) Define morphisms locally of finite presentation.