Theorem Multiset.foldl_induction

Modification history