Theorem Multiset.fold_add

Modification history