Theorem LaurentPolynomial.eval₂_T_neg_n

Modification history