Theorem IsLocalHomeomorphOn.mk

Modification history

2025-10-02 09:10
Mathlib/Topology/IsLocalHomeomorph.lean
chore: rename PartialHomeomorph to OpenPartialHomeomorph (#29113) …
Modified IsLocalHomeomorphOn.mkView on Github →
2023-12-19 16:45
Mathlib/Topology/IsLocalHomeomorph.lean
refactor(Topology/IsLocalHomeomorph): various small clean-ups (#9150) …
Modified IsLocalHomeomorphOn.mkView on Github →
2023-12-11 20:54
Mathlib/Topology/IsLocalHomeomorph.lean
chore: rename LocalHomeomorph to PartialHomeomorph (#8982) …
Modified IsLocalHomeomorphOn.mkView on Github →
2023-12-11 18:22
Mathlib/Topology/IsLocalHomeomorph.lean
chore: rename IsLocallyHomeomorph{On} to IsLocalHomeomorph{On} (#8983) …
Added IsLocalHomeomorphOn.mkView on Github →