Theorem hasDerivWithinAt_abs_neg

Modification history

2024-10-02 14:32
Mathlib/Analysis/Calculus/Deriv/Abs.lean
feat: derivative of absolute value (#17149) …
Added hasDerivWithinAt_abs_negView on Github →