Theorem Multiset.mem_toList

Modification history