Theorem Polynomial.degree_X_pow_add_C

Modification history