`BookProof.WeakSecondDeriv.IsTestFun.differentiable` {g : ℝ → ℝ} (h : IsTestFun g) : Differentiable ℝ g

Initializing...

`BookProof.WeakSecondDeriv.IsTestFun.differentiable` {g : ℝ → ℝ} (h : IsTestFun g) : Differentiable ℝ g · Prove2Me