Theorem Polynomial.dickson_one_one_eq_chebyshev_T

Modification history

2024-12-04 05:49
Mathlib/RingTheory/Polynomial/Dickson.lean
feat: the Chebyshev polynomials C and S (#13195) …
Modified Polynomial.dickson_one_one_eq_chebyshev_TView on Github →
2023-05-26 08:39
Mathlib/RingTheory/Polynomial/Dickson.lean
feat: port RingTheory.Polynomial.Dickson (#4382) …
Added Polynomial.dickson_one_one_eq_chebyshev_TView on Github →