Theorem Finset.powerset_card_biUnion

Modification history