`BookProof.RadialMollifier.moll_congr_norm` {δ : ℝ} {z w : ℂ} (h : ‖z‖ = ‖w‖) : moll δ z = moll δ w

Initializing...

`BookProof.RadialMollifier.moll_congr_norm` {δ : ℝ} {z w : ℂ} (h : ‖z‖ = ‖w‖) : moll δ z = moll δ w · Prove2Me