mathlib3

40d2602e - chore(analysis/calculus/deriv): weaker assumptions for `deriv_mul_const` (#8704)