Theorem IsProperMap.restrictPreimage

Modification history

2025-10-24 15:50

Mathlib/Topology/LocalAtTarget.lean

feat: `isProperMap_fst_of_compactSpace`, `IsProperMap.restrictPreimage` (#30410)

Added IsProperMap.restrictPreimage View on Github →