`BookProof.WeakSecondDeriv.integrable_test_smul` {φ : ℝ → ℝ} (hφ : IsTestFun φ) {r : ℝ → F} (hr : LocallyIntegrable r volume) : Integrable (fun x => φ x • r x) volume

Initializing...

`BookProof.WeakSecondDeriv.integrable_test_smul` {φ : ℝ → ℝ} (hφ : IsTestFun φ) {r : ℝ → F} (hr : LocallyIntegrable r volume) : Integrable (fun x => φ x • r x) volume · Prove2Me