Theorem Multiset.smul_sum

Modification history