Theorem Set.diff_singleton_subset_iff

Modification history