`BookProof.WeakSecondDeriv.IsTestFun.contDiff` {g : ℝ → ℝ} (h : IsTestFun g) : ContDiff ℝ ((⊤ : ℕ∞) : WithTop ℕ∞) g

Initializing...

`BookProof.WeakSecondDeriv.IsTestFun.contDiff` {g : ℝ → ℝ} (h : IsTestFun g) : ContDiff ℝ ((⊤ : ℕ∞) : WithTop ℕ∞) g · Prove2Me