Theorem Polynomial.leadingCoeff_mul_X

Modification history