Theorem Multiset.trop_sum

Modification history