Theorem isProperMap_const_iff

Modification history

2025-10-24 15:50

Mathlib/Topology/Maps/Proper/Basic.lean

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

Added isProperMap_const_iff View on Github →