Theorem Multiset.fold_cons'_left

Modification history