Theorem CompletelyRegularSpace.zeroDimensionalSpace_of_cardinalMk_lt_continuum

Modification history

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