Theorem Finset.card_powerset

Modification history