Theorem Set.singleton_eq_singleton_iff

Modification history