Theorem LaurentPolynomial.support_C_mul_T

Modification history