`BookProof.WeakSecondDeriv.exists_supp` {g : ℝ → ℝ} (h : IsTestFun g) : ∃ R : ℝ, 0 ≤ R ∧ tsupport g ⊆ Icc (-R) R

Initializing...

`BookProof.WeakSecondDeriv.exists_supp` {g : ℝ → ℝ} (h : IsTestFun g) : ∃ R : ℝ, 0 ≤ R ∧ tsupport g ⊆ Icc (-R) R · Prove2Me