Theorem Polynomial.Chebyshev.algebraMap_eval_U

Modification history

2024-05-28 13:39

Mathlib/Analysis/SpecialFunctions/Trigonometric/Chebyshev.lean

feat: index Chebyshev polynomials by integers instead of natural numbers (#13133)

Modified Polynomial.Chebyshev.algebraMap_eval_U View on Github →

2023-05-03 01:24

Mathlib/Analysis/SpecialFunctions/Trigonometric/Chebyshev.lean

feat: port Analysis.SpecialFunctions.Trigonometric.Chebyshev (#3764)

Added Polynomial.Chebyshev.algebraMap_eval_U View on Github →