mathlib3
461051ae - feat(algebraic_geometry): Localization map is an embedding. (#10471)

Commit

4 years ago

feat(algebraic_geometry): Localization map is an embedding. (#10471)

Author

erdOne

erdOne

Parents

Loading