Structure IsProperMap

Modification history

2025-03-03 14:53

Mathlib/Topology/Maps/Proper/Basic.lean

chore: bump toolchain to v4.18.0-rc1 (#22500) …

Modified IsProperMap View on Github →

2023-07-31 08:03

Mathlib/Topology/ProperMap.lean

feat(Topology.ProperMap): basic theory of proper maps (#6005)

Added IsProperMap View on Github →