Theorem Multiset.max_prod_le

Modification history