Theorem Polynomial.list_prod_comp

Modification history