Theorem Real.mapsTo_cos_Ioo

Modification history

2026-01-27 17:10
Mathlib/Analysis/SpecialFunctions/Trigonometric/Inverse.lean
feat(Chebyshev/Orthogonality): Chebyshev T polynomials are orthogonal (#33676) …
Added Real.mapsTo_cos_IooView on Github →