chebyshev): simplify argument using new `linear_combination` tactic (#11736)

Commit

3 years ago

chore(ring_theory/polynomial/chebyshev): simplify argument using new `linear_combination` tactic (#11736) cc @agoldb10 @robertylewis

Author

hrmacbeth

Parents