Theorem CovBy.exists_finset_cons

Modification history