Theorem Multiset.untrop_sum

Modification history