mathlib3

65208ed7 - refactor(data/polynomial/*): further refactors (#3435)

refactor(data/polynomial/*): further refactors (#3435) There's a lot further to go, but I need to do other things for a while so will PR what I have so far. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>