Theorem Multiset.card_replicate

Modification history