Theorem Finset.covby_cons

Modification history