mathlib3

9051aa73 - feat(polynomial): prepare for transcendence of e by adding small lemmas (#4175)

feat(polynomial): prepare for transcendence of e by adding small lemmas (#4175) This will be a series of pull request to prepare for the proof of transcendence of e by adding lots of small lemmas. Co-authored-by: Johan Commelin <johan@commelin.net>