Theorem Multiset.prod_le_prod_map

Modification history