Theorem Finset.covBy_iff_exists_cons

Modification history