Theorem Multiset.powersetCard_one

Modification history