Theorem Multiset.powersetCard_card_add

Modification history