Theorem Set.not_subsingleton_iff

Modification history