`BookProof.WeakSecondDeriv.integral_deriv_of_test` {g : ℝ → ℝ} (h : IsTestFun g) : ∫ x, deriv g x = 0

Initializing...

`BookProof.WeakSecondDeriv.integral_deriv_of_test` {g : ℝ → ℝ} (h : IsTestFun g) : ∫ x, deriv g x = 0 · Prove2Me