Theorem Polynomial.Chebyshev.S_sq_add_S_sq

Modification history

2024-12-06 05:31
Mathlib/RingTheory/Polynomial/Chebyshev.lean
feat: power of product of two reflections (#13270) …
Added Polynomial.Chebyshev.S_sq_add_S_sqView on Github →