mathlib
366a23fb - feat(topology/constructions): frontier/interior/closure in `X × Y` (#6594)

Commit

5 years ago

feat(topology/constructions): frontier/interior/closure in `X × Y` (#6594)

Author

urkud

urkud

Parents

Loading