Theorem IsLocalHomeomorph.Homeomorph.isLocalHomeomorph

Modification history

2026-06-08 16:20
Mathlib/Topology/IsLocalHomeomorph.lean
chore: deprecate duplicate IsLocalHomeomorph.Homeomorph.isLocalHomeom… (#40284) …
Deleted IsLocalHomeomorph.Homeomorph.isLocalHomeomorphView on Github →
2023-12-25 15:55
Mathlib/Topology/IsLocalHomeomorph.lean
feat: (partial) homeomorphisms are local homeomorphisms (#9246)
Added IsLocalHomeomorph.Homeomorph.isLocalHomeomorphView on Github →