Theorem Polynomial.Chebyshev.C_neg_one

Modification history

2025-10-07 09:26
Mathlib/RingTheory/Polynomial/Chebyshev.lean
refactor: Chebyshev: avoid reducing wfrec (#30290)
Modified Polynomial.Chebyshev.C_neg_oneView on Github →
2024-12-04 05:49
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: the Chebyshev polynomials C and S (#13195) …
Added Polynomial.Chebyshev.C_neg_oneView on Github →