Theorem Multiset.fold_cons'_right

Modification history