Theorem Multiset.foldr_induction'

Modification history