mathlib3
1367c19b - feat(algebraic_geometry): LocallyRingedSpace has coproducts. (#10665)

Commit

4 years ago

feat(algebraic_geometry): LocallyRingedSpace has coproducts. (#10665)

Author

erdOne

erdOne

Parents

Loading