`BookProof.RadialMollifier.moll_polarSymm` {δ r θ : ℝ} (hr : 0 < r) : moll δ (Complex.polarCoord.symm (r, θ)) = moll δ (r : ℂ)

Initializing...

`BookProof.RadialMollifier.moll_polarSymm` {δ r θ : ℝ} (hr : 0 < r) : moll δ (Complex.polarCoord.symm (r, θ)) = moll δ (r : ℂ) · Prove2Me