Theorem Finset.covBy_cons

Modification history