Theorem Set.Countable.isTotallyDisconnected

Modification history

2026-10-08 14:19
Mathlib/Topology/Separation/CompletelyRegular.lean
feat: zero-dimensional spaces (#40901) …
Modified Set.Countable.isTotallyDisconnectedView on Github →
2025-09-12 10:33
Mathlib/Topology/Separation/Lemmas.lean
feat: countable metric spaces are totally disconnected (#29211) …
Added Set.Countable.isTotallyDisconnectedView on Github →