Theorem Finset.card_sdiff_eq_card_sdiff_iff

Modification history