Theorem Multiset.powersetCard_cons

Modification history