Theorem Multiset.fold_singleton

Modification history