Theorem Multiset.foldl_swap

Modification history