Theorem Polynomial.degree_sub_C

Modification history