Theorem Multiset.length_toList

Modification history