Theorem Multiset.fold_cons_right

Modification history