Theorem LaurentPolynomial.T_mul

Modification history