Theorem Polynomial.degree_C_mul_X

Modification history