Theorem LaurentPolynomial.induction_on_mul_T

Modification history