Theorem loc_compact_t2_tot_disc_iff_tot_sep

Modification history