Theorem IsCoveringMap.restrictPreimage

Modification history

2025-12-15 21:03

Mathlib/Topology/Covering/Basic.lean

feat(Topology): IsCoveringMapOn ↔ IsCoveringMap restrictPreimage (#27197)

Added IsCoveringMap.restrictPreimage View on Github →