Commit 2023-10-19 16:29 6549ac3b
View on Github →feat(Analysis/InnerProductSpace/Calculus): Add theorem that abs on ℝ is not differentiable at 0 (#7362) Adds a theorem which states that the absolute value function on ℝ is not differentiable at zero.