`BookProof.WeakSecondDeriv.IsTestFun.deriv` {g : ℝ → ℝ} (h : IsTestFun g) : IsTestFun (_root_.deriv g)

Initializing...

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