Theorem Multiset.strongDownwardInductionOn_eq

Modification history