Commit 2021-12-03 16:11 df931664

View on Github →

feat(algebraic_geometry): Explicit description of the colimit of presheafed spaces. (#10466)

Estimated changes