Theorem Set.compl_subset_iff_union

Modification history