Theorem Multiset.prod_map_mul

Modification history