Theorem Finset.card_div_mul_le_card_mul_mul_card_mul

Modification history