Theorem Polynomial.leadingCoeff_C_mul_X

Modification history