Theorem IsProperMap.comp

Modification history

2025-10-10 19:12

Mathlib/Topology/Maps/Proper/Basic.lean

chore: switch arguments of `IsProperMap.comp` (#30406) …

Modified IsProperMap.comp View on Github →

2024-03-30 17:04

Mathlib/Topology/ProperMap.lean

feat: new lemmas about proper maps in Mathlib.Topology.ProperMap (#11754) …

Added IsProperMap.comp View on Github →