Structure IsHomeomorph

Modification history

2025-04-10 03:41

Mathlib/Topology/Homeomorph/Defs.lean

chore: move some results out of Topology.Homeomorph.Lemmas (#23861) …

Modified IsHomeomorph View on Github →

2024-08-23 10:19

Mathlib/Topology/Homeomorph.lean

feat: `IsHomeomorph` predicate (#12533) …

Added IsHomeomorph View on Github →