Theorem Multiset.prod_map_div

Modification history