Theorem Multiset.dedup_ext

Modification history