Commit 2022-08-24 09:35 7f06271e

View on Github →

feat(algebraic_geometry/limits): Empty scheme is initial. (#16086)

Estimated changes