`BookProof.WeakSecondDeriv.IsTestFun.sub` {f g : ℝ → ℝ} (h1 : IsTestFun f) (h2 : IsTestFun g) : IsTestFun (fun x => f x

Initializing...

`BookProof.WeakSecondDeriv.IsTestFun.sub` {f g : ℝ → ℝ} (h1 : IsTestFun f) (h2 : IsTestFun g) : IsTestFun (fun x => f x - g x) · Prove2Me