Commit 2021-12-13 07:52 b6b47ed5

View on Github →

feat(algebraic_geometry/presheafed_space): Open immersions of presheafed spaces has pullbacks. (#10069)

Estimated changes