Theorem Polynomial.coeff_pow_mul_natDegree

Modification history