mathlib3
34b2a989 - feat(algebraic_geometry/*): Preliminary lemmas for #16059 (#16060)

Commit

3 years ago

feat(algebraic_geometry/*): Preliminary lemmas for #16059 (#16060)

Author

erdOne

erdOne

Parents

Loading