Derivatives of polynomials #
In this file we prove that derivatives of polynomials in the analysis sense agree with their derivatives in the algebraic sense.
For a more detailed overview of one-dimensional derivatives in mathlib, see the module docstring of
- Add results about multivariable polynomials.
- Generalize some (most?) results to an algebra over the base field.