Theorem isClopen_inter_of_disjoint_cover_clopen

Modification history