Theorem Multiset.coe_foldl

Modification history