Theorem Set.nontrivial_iff_ne_singleton

Modification history