Theorem Set.singleton_subset_iff

Modification history