Theorem Set.subset_union_compl_iff_inter_subset

Modification history