Commit 2026-01-27 17:10 ea527041

feat(Chebyshev/Orthogonality): Chebyshev T polynomials are orthogonal (#33676) We prove that the Chebyshev T polynomials are orthogonal with respect to 1 / √ (1 - x ^ 2). Similarly, one could show that the Chebyshev U polynomials are orthogonal with respect to √ (1 - x ^ 2), which I will do once this PR is approved. More generally, one defines an inner product space on the space of all real polynomials, where the inner product is as defined above. I will be happy to add this to the present or a future PR.