Commit 2024-09-02 10:52 c04874b1

View on Github →

feat(AlgebraicGeometry): morphisms locally of finite presentation (#14053) Define morphisms locally of finite presentation.

Estimated changes