Theorem Polynomial.chebyshev_T_eq_dickson_one_one

Modification history

2023-05-26 08:39
Mathlib/RingTheory/Polynomial/Dickson.lean
feat: port RingTheory.Polynomial.Dickson (#4382) …
Added Polynomial.chebyshev_T_eq_dickson_one_oneView on Github →