`BookProof.WeakSecondDeriv.absolutelyContinuous_primitive` {G : ℝ → ℝ} (hG : LocallyIntegrable G volume) {a b c : ℝ} (hc : c ∈ uIcc a b) : AbsolutelyContinuousOnInterval (fun x =>

Initializing...

`BookProof.WeakSecondDeriv.absolutelyContinuous_primitive` {G : ℝ → ℝ} (hG : LocallyIntegrable G volume) {a b c : ℝ} (hc : c ∈ uIcc a b) : AbsolutelyContinuousOnInterval (fun x => · Prove2Me