mathlib3

6f401acf - feat(data/polynomial/*): suggestions from the generalization linter (#13342)

feat(data/polynomial/*): suggestions from the generalization linter (#13342) Co-authored-by: negiizhao <egresf@gmail.com> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>