Theorem Finset.card_sdiff_lt_card_sdiff_iff

Modification history