Theorem Polynomial.chebyshev_U_eq_dickson_two_one

Modification history

2024-12-04 05:49
Mathlib/RingTheory/Polynomial/Dickson.lean
feat: the Chebyshev polynomials C and S (#13195) …
Added Polynomial.chebyshev_U_eq_dickson_two_oneView on Github →