Theorem Multiset.smul_prod

Modification history