Theorem Set.disjoint_compl_left_iff_subset

Modification history