Theorem IsCoveringMapOn.of_isLocalHomeomorphOn

Modification history

2026-06-25 12:42
Mathlib/Topology/Covering/Basic.lean
feat: local homeomorphisms are covering maps for compact domains (#41031)
Added IsCoveringMapOn.of_isLocalHomeomorphOnView on Github →