Theorem Finset.card_mul_mul_le_card_div_mul_card_div

Modification history