Theorem Finset.not_nontrivial_singleton

Modification history