Theorem Multiset.coe_fold_l

Modification history