`BookProof.WeakSecondDeriv.IsTestFun.const_mul` {g : ℝ → ℝ} (h : IsTestFun g) (a : ℝ) : IsTestFun (fun x => a * g x)

Initializing...

`BookProof.WeakSecondDeriv.IsTestFun.const_mul` {g : ℝ → ℝ} (h : IsTestFun g) (a : ℝ) : IsTestFun (fun x => a * g x) · Prove2Me