Def Multiset.powersetLen

Modification history