Theorem Set.subset_compl_singleton_iff

Modification history