`BookProof.RadialMollifier.polarSymm_eq` (r θ : ℝ) : Complex.polarCoord.symm (r, θ) = (r : ℂ) * Complex.exp ((θ : ℂ) * Complex.I)

Initializing...

`BookProof.RadialMollifier.polarSymm_eq` (r θ : ℝ) : Complex.polarCoord.symm (r, θ) = (r : ℂ) * Complex.exp ((θ : ℂ) * Complex.I) · Prove2Me