Theorem Multiset.prod_replicate

Modification history