`BookProof.RadialMollifier.polar_radial` {δ : ℝ} (hδ : 0 < δ) (G : ℂ → ℂ) (hG : Continuous G) : ∫ u : ℂ, (moll δ u : ℂ) * G u = ∫ r in Ioi (0 : ℝ), ((r * moll δ r : ℝ)...

Initializing...

`BookProof.RadialMollifier.polar_radial` {δ : ℝ} (hδ : 0 < δ) (G : ℂ → ℂ) (hG : Continuous G) : ∫ u : ℂ, (moll δ u : ℂ) * G u = ∫ r in Ioi (0 : ℝ), ((r * moll δ r : ℝ)... · Prove2Me