Theorem Set.disjoint_compl_right_iff_subset

Modification history