Theorem Multiset.foldr_add

Modification history