Theorem Finset.card_powersetLen

Modification history