Theorem Polynomial.natDegree_add_coeff_mul

Modification history