Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tot_sep_of_zero_dim

Modification history

2022-09-14 08:28
src/topology/separation.lean
feat(topology/separation): generalize&rename a lemma (#16503) …
Deleted tot_sep_of_zero_dimView on Github →
2021-06-03 23:23
src/topology/separation.lean
feat(topology): A locally compact Hausdorff space is totally disconnected if and only if it is totally separated (#7649) …
Added tot_sep_of_zero_dimView on Github →