Theorem Finset.card_sdiff_le_card_sdiff_iff

Modification history