Def PrimeMultiset.prod

Modification history