Theorem Set.subsingleton_iff_singleton

Modification history