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

Initializing...

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