Theorem isProperMap_fst_of_compactSpace

Modification history

2025-10-24 15:50
Mathlib/Topology/Maps/Proper/Basic.lean
feat: `isProperMap_fst_of_compactSpace`, `IsProperMap.restrictPreimage` (#30410)
Added isProperMap_fst_of_compactSpaceView on Github →