mathlib3

feat(analysis/calculus/deriv): extended API for derivatives

#1213

Merged