Theorem Multiset.card_pmap

Modification history