Mathlib Changelog
v4
Changelog
About
Github
Def
Equiv.toHomeomorphOfDiscrete
Modification history
2026-02-09 08:58
Mathlib/Topology/Homeomorph/Defs.lean
chore(style): remove duplicate instance hypotheses (#35002) …
Modified
Equiv.toHomeomorphOfDiscrete
View 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.toHomeomorphOfDiscrete
View on Github →