Theorem Set.subset_compl_iff_disjoint_right

Modification history