Theorem Set.subsingleton_of_univ_subsingleton

Modification history