Theorem LaurentPolynomial.degree_C

Modification history