Theorem Finset.covby_iff_exists_cons

Modification history