Def Multiset.fold

Modification history