Mathlib v3 is deprecated. Go to Mathlib v4

Theorem compact_t2_tot_disc_iff_tot_sep

Modification history

2021-06-29 23:21
src/topology/separation.lean
doc(topology/separation): module + lemma docs (#8091)
Modified compact_t2_tot_disc_iff_tot_sepView 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 compact_t2_tot_disc_iff_tot_sepView on Github →