Theorem Multiset.le_prod_of_submultiplicative_on_pred

Modification history