`BookProof.RadialMollifier.circle_integral_eq` {h : ℂ → ℂ} {s : Set ℂ} (hs : IsOpen s) (hh : DifferentiableOn ℂ h s) {z : ℂ} {r : ℝ} (hr : 0 < r) (hsub : closedBall z r ⊆ s) : ∫ θ

Initializing...

`BookProof.RadialMollifier.circle_integral_eq` {h : ℂ → ℂ} {s : Set ℂ} (hs : IsOpen s) (hh : DifferentiableOn ℂ h s) {z : ℂ} {r : ℝ} (hr : 0 < r) (hsub : closedBall z r ⊆ s) : ∫ θ · Prove2Me