Theorem Finset.card_mul_mul_le_card_mul_mul_card_div

Modification history