Theorem Multiset.powersetCard_map

Modification history