Theorem Multiset.prod_nsmul

Modification history