Theorem Polynomial.degree_mul_C

Modification history