mathlib3
de418aad - feat(topology/basic): add lemmas like `closure s \ interior s = frontier s` (#14086)

Commit

3 years ago

feat(topology/basic): add lemmas like `closure s \ interior s = frontier s` (#14086)

Author

urkud

Parents