Theorem LaurentPolynomial.T_apply

Modification history