Theorem CovBy.card_finset

Modification history