`BookProof.WeakSecondDeriv.IsTestFun.integrable` {g : ℝ → ℝ} (h : IsTestFun g) : Integrable g volume

Initializing...

`BookProof.WeakSecondDeriv.IsTestFun.integrable` {g : ℝ → ℝ} (h : IsTestFun g) : Integrable g volume · Prove2Me