Mathlib Changelog
v4
Changelog
About
Github
Def
cantorSpaceHomeomorphNatToCantorSpace
Modification history
2025-11-16 18:46
Mathlib/Topology/Instances/CantorSet.lean
feat(Topology): every compact metric space is image of Cantor set (#26184) …
Added
cantorSpaceHomeomorphNatToCantorSpace
View on Github →