Def Multiset.strongInductionOn

Modification history