Theorem Multiset.prod_map_sum

Modification history