Def Multiset.product

Modification history