Theorem Multiset.sum_map_mul_left

Modification history