mathlib
6050f9df - feat(algebraic_geometry, category_theory): SheafedSpace has colimits (#10401)

Commit

4 years ago

feat(algebraic_geometry, category_theory): SheafedSpace has colimits (#10401) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

erdOne

Parents