Theorem Polynomial.natDegree_lt_coeff_mul

Modification history