Theorem Commute.multiset_sum_left

Modification history