Theorem Finset.sigmaLift_nonempty

Modification history