Def Homeomorph.piCongrLeft

Modification history

2023-10-11 19:02

Mathlib/Topology/Homeomorph.lean

chore(Topology/Homeomorph): rename type variables (#7587) …

Modified Homeomorph.piCongrLeft View on Github →

2023-09-14 17:32

Mathlib/Topology/Homeomorph.lean

feat: piCongr for topological and uniform spaces (#6836)

Added Homeomorph.piCongrLeft View on Github →