mathlib

f81174bd - feat(analysis/calculus/deriv): `polynomial.aeval` lemmas (#18945)

feat(analysis/calculus/deriv): `polynomial.aeval` lemmas (#18945) This duplicates every lemma about differentiation of `polynomial.eval` for `polynomial.aeval` too. Some of these turned out to be needed in #18896.