Theorem Multiset.foldr_swap

Modification history