Theorem Multiset.foldr_singleton

Modification history