Theorem Polynomial.coeff_mul_of_natDegree_le

Modification history