class PiBase.ZeroDimensionalSpace (X : Type u_1) [TopologicalSpace X] : Prop

• zero_dimensional : ∃ (B : Set (Set X)), TopologicalSpace.IsTopologicalBasis B ∧ ∀ s ∈ B, IsClopen s