Theorem LaurentPolynomial.T_pow

Modification history