Theorem Finset.card_Iic_prod

Modification history