Theorem Multiset.product_add

Modification history