Theorem Multiset.toList_zero

Modification history