Theorem Multiset.prod_lt_prod'

Modification history