Theorem Finset.nontrivial_iff_ne_singleton

Modification history