Theorem Multiset.empty_toList

Modification history