Theorem Multiset.dedup_idem

Modification history