Theorem CovBy.card_multiset

Modification history