Theorem Polynomial.Chebyshev.one_sub_X_sq_mul_derivative_T_eq_poly_in_T

Modification history

2024-05-28 13:39
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: index Chebyshev polynomials by integers instead of natural numbers (#13133)
Modified Polynomial.Chebyshev.one_sub_X_sq_mul_derivative_T_eq_poly_in_TView on Github →
2023-03-18 20:50
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: port RingTheory.Polynomial.Chebyshev (#2880)
Added Polynomial.Chebyshev.one_sub_X_sq_mul_derivative_T_eq_poly_in_TView on Github →