Theorem Polynomial.Chebyshev.aeval_S

Modification history

2024-12-20 11:52
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: `aeval` a Chebyshev polynomial (#19952) …
Added Polynomial.Chebyshev.aeval_SView on Github →