Def preCantorSet

Modification history

2026-07-24 07:15
Mathlib/Topology/Instances/CantorSet.lean
chore: add missing `noncomputable` (#41446) …
Deleted preCantorSetView on Github →
2024-04-08 19:22
Mathlib/Topology/Instances/CantorSet.lean
feat: Definition and Basic Properties of the Ternary Cantor Set (#11761) …
Added preCantorSetView on Github →