Theorem Finset.univ_nontrivial_iff:

Modification history