Theorem Finset.card_sigmaLift

Modification history