Theorem Finset.card_diffs_le

Modification history