Theorem isProperMap_id

Modification history

2024-08-23 10:19

Mathlib/Topology/Maps/Proper/Basic.lean

feat: `IsHomeomorph` predicate (#12533) …

Modified isProperMap_id View on Github →

2023-07-31 08:03

Mathlib/Topology/ProperMap.lean

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

Added isProperMap_id View on Github →