mathlib
1077f346 - feat(algebraic_geometry): Generalized basic open for arbitrary sections (#10515)

Commit

4 years ago

feat(algebraic_geometry): Generalized basic open for arbitrary sections (#10515)

Author

erdOne

erdOne

Parents

Loading