Theorem LaurentPolynomial.degree_C_mul_T

Modification history