feat(ring_theory/polynomial/chebyshev): general cleanup (#15799)
feat(ring_theory/polynomial/chebyshev): general cleanup (#15799)

We move `map_T` to save on some `variables` blocks, and clean up some spacing.





leanprover-community/mathlib,leanprover-community/mathlib