Theorem Multiset.eq_replicate_card

Modification history