Theorem Multiset.toDfinsupp_replicate

Modification history