Theorem Set.Subsingleton.eq_singleton_of_mem

Modification history