Theorem IsLocalHomeomorph.Homeomorph.isLocalHomeomorph

Modification history

2023-12-25 15:55

Mathlib/Topology/IsLocalHomeomorph.lean

feat: (partial) homeomorphisms are local homeomorphisms (#9246)

Added IsLocalHomeomorph.Homeomorph.isLocalHomeomorph View on Github →