Theorem Polynomial.Chebyshev.T_neg_one

Modification history

2024-12-04 05:49
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: the Chebyshev polynomials C and S (#13195) …
Modified Polynomial.Chebyshev.T_neg_oneView on Github →
2024-05-28 13:39
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: index Chebyshev polynomials by integers instead of natural numbers (#13133)
Added Polynomial.Chebyshev.T_neg_oneView on Github →