Theorem LaurentPolynomial.induction_on_mul_T

Modification history

2025-09-11 07:19
Mathlib/Algebra/Polynomial/Laurent.lean
chore: fix two sets of induction recursor names (#29537) …
Modified LaurentPolynomial.induction_on_mul_TView on Github →
2023-05-15 09:05
Mathlib/Data/Polynomial/Laurent.lean
feat: port Data.Polynomial.Laurent (#2953)
Added LaurentPolynomial.induction_on_mul_TView on Github →