Theorem Multiset.foldl_induction'

Modification history