Theorem Set.subset_compl_comm

Modification history