Theorem IsProperMap.isClosed_range

Modification history

2024-05-09 08:07
Mathlib/Topology/ProperMap.lean
chore: fix deprecation warnings (#12775) …
Added IsProperMap.isClosed_rangeView on Github →