Theorem Finset.card_Icc_prod

Modification history