Theorem Polynomial.multiset_prod_comp

Modification history