Theorem Finset.sigma_nonempty

Modification history