Theorem LaurentPolynomial.exists_T_pow

Modification history