Theorem Finset.prod_powersetCard

Modification history