Theorem isProperMap_const

Modification history

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