Theorem Multiset.prod_min_le

Modification history