Theorem Finset.card_div_mul_le_card_div_mul_card_mul

Modification history