Theorem Finset.card_diffs_iff

Modification history