Def Equiv.toHomeomorphOfDiscrete

Modification history

2026-02-09 08:58
Mathlib/Topology/Homeomorph/Defs.lean
chore(style): remove duplicate instance hypotheses (#35002) …
Modified Equiv.toHomeomorphOfDiscreteView on Github →
2025-11-16 18:46
Mathlib/Topology/Homeomorph/Defs.lean
feat(Topology): every compact metric space is image of Cantor set (#26184) …
Added Equiv.toHomeomorphOfDiscreteView on Github →