Theorem Finset.card_mul_le_card_shadow_mul

Modification history