mathlib

acd769af - feat(analysis/calculus/deriv): derivative of division and polynomials (#1769)

feat(analysis/calculus/deriv): derivative of division and polynomials (#1769) * feat(data/set/intervals): more properties of intervals * fix docstrings * blank space * iff versions * fix docstring * more details in docstrings * initial commit * div_deriv * more derivatives * cleanup * better docstring * fix * better * minor fix * simp attributes * Update src/analysis/calculus/deriv.lean Co-Authored-By: Rob Lewis <Rob.y.lewis@gmail.com> * Update src/analysis/calculus/deriv.lean Co-Authored-By: Rob Lewis <Rob.y.lewis@gmail.com> * nolint * pow derivative * Update src/topology/continuous_on.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * comp_add and friends * remove useless variable