Theorem IsClosedMap.isCoveringMapOn_of_openPartialHomeomorph

Modification history

2026-06-25 12:42
Mathlib/Topology/Covering/Basic.lean
feat: local homeomorphisms are covering maps for compact domains (#41031)
Deleted IsClosedMap.isCoveringMapOn_of_openPartialHomeomorphView on Github →
2026-01-20 19:54
Mathlib/Topology/Covering/Basic.lean
feat(Analysis): (complex) polynomials as branched coverings (#33726) …
Added IsClosedMap.isCoveringMapOn_of_openPartialHomeomorphView on Github →