Theorem Set.singleton_subset_singleton

Modification history