`BookProof.RadialMollifier.continuous_polarSymm` : Continuous (fun p : ℝ × ℝ => Complex.polarCoord.symm p)

Initializing...

`BookProof.RadialMollifier.continuous_polarSymm` : Continuous (fun p : ℝ × ℝ => Complex.polarCoord.symm p) · Prove2Me