Theorem Finset.covby_iff_card_sdiff_eq_one

Modification history