Theorem Set.Countable.isTotallyDisconnected

Modification history

2025-09-12 10:33
Mathlib/Topology/Separation/Lemmas.lean
feat: countable metric spaces are totally disconnected (#29211) …
Added Set.Countable.isTotallyDisconnectedView on Github →