mathlib3
8bdb1474 - feat(topology/local_homeomorph): local homeomorphisms (#1398)

Commit

6 years ago

feat(topology/local_homeomorph): local homeomorphisms (#1398) * feat(topology/local_homeomorph): local homeomorphisms * local_homeomorph: reviewer comments

References

#1398 - feat(topology/local_homeomorph): local homeomorphisms

Author

sgouezel

Committer

mergify[bot]

Parents

10cb0d12

mathlib3 8bdb1474 - feat(topology/local_homeomorph): local homeomorphisms (#1398)

mathlib3
8bdb1474 - feat(topology/local_homeomorph): local homeomorphisms (#1398)