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

Commit

4 years ago

feat(algebraic_geometry): Explicit description of the colimit of presheafed spaces. (#10466) Co-authored-by: erd1 <the.erd.one@gmail.com>

Author

erdOne

Parents