chebyshev): general cleanup (#15799)

Commit

3 years ago

feat(ring_theory/polynomial/chebyshev): general cleanup (#15799) We move `map_T` to save on some `variables` blocks, and clean up some spacing.

Author

vihdzp

Parents