Theorem totallyDisconnectedSpace_iff_totallySeparatedSpace

Modification history

2026-10-08 14:19
Mathlib/Topology/Separation/Regular.lean
feat: zero-dimensional spaces (#40901) …
Added totallyDisconnectedSpace_iff_totallySeparatedSpaceView on Github →