Theorem Finset.covBy_iff_exists_erase

Modification history