Theorem LaurentPolynomial.degree_C_ite

Modification history