Theorem: not_differentiableAt_abs (HausdorffSchool/Session4_Calculus/Exercises.lean)

State before:
⊢ ¬DifferentiableAt ℝ (fun x => |x|) 0
Tactic:
sorry
State after:
no goals