Theorem LaurentPolynomial.degree_C_mul_T_ite

Modification history