Theorem isCoveringMap_iff_isCoveringMapOn_univ

Modification history

2025-12-15 21:03
Mathlib/Topology/Covering/Basic.lean
feat(Topology): IsCoveringMapOn ↔ IsCoveringMap restrictPreimage (#27197)
Modified isCoveringMap_iff_isCoveringMapOn_univView on Github →
2023-03-22 13:29
Mathlib/Topology/Covering.lean
feat: port Topology.Covering (#3031)
Added isCoveringMap_iff_isCoveringMapOn_univView on Github →