Theorem Multiset.foldl_zero

Modification history