Theorem Multiset.prod_map_lt_prod_map

Modification history