Def Multiset.strongDownwardInductionOn

Modification history