mathlib3
36ba1acd - feat(algebraic_geometry): Define `open_cover`s of Schemes. (#10931)

Commit

4 years ago

feat(algebraic_geometry): Define `open_cover`s of Schemes. (#10931) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

erdOne

Parents