mathlib3
cdb38195 - feat(algebraic_geometry): `of_restrict` is mono. (#10460)

Commit

4 years ago

feat(algebraic_geometry): `of_restrict` is mono. (#10460)

Author

erdOne

erdOne

Parents

Loading