Theorem Multiset.prod_toList

Modification history