Theorem isLocallyHomeomorph_homeomorph

Modification history

2023-11-03 10:44
Mathlib/Topology/IsLocallyHomeomorph.lean
feat: separated and locally injective maps (#7911) …
Deleted isLocallyHomeomorph_homeomorphView on Github →
2023-10-21 06:49
Mathlib/Topology/IsLocallyHomeomorph.lean
feat: miscellaneous lemmas about local homeomorphisms (#7655)
Added isLocallyHomeomorph_homeomorphView on Github →