Theorem Polynomial.Chebyshev.S_eq_U_comp_half_mul_X

Modification history

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