Theorem Polynomial.Chebyshev.aeval_C

Modification history

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