Theorem Set.subsingleton_univ

Modification history