Mathlib Changelog
v4
Changelog
About
Github
Theorem
DifferentiableWithinAt.abs_of_pos
Modification history
2024-10-02 14:32
Mathlib/Analysis/Calculus/Deriv/Abs.lean
feat: derivative of absolute value (#17149) …
Added
DifferentiableWithinAt.abs_of_pos
View on Github →