Theorem LaurentPolynomial.degree_C_mul_T_le

Modification history