Theorem compact_t2_tot_disc_iff_tot_sep

Modification history