Theorem Polynomial.coeff_list_prod_of_natDegree_le

Modification history