Theorem Finset.le_card_diffs_mul_card_diffs

Modification history