Theorem Multiset.card_powerset

Modification history