Theorem Finset.not_nontrivial_empty

Modification history