Theorem Polynomial.degree_mul_X

Modification history