mathlib3
4bc67070 - feat(topology/local_homeomorph): preimage of `closure` and `frontier` (#6547)

Commit

4 years ago

feat(topology/local_homeomorph): preimage of `closure` and `frontier` (#6547)

Author

urkud

urkud

Parents

Loading