`BookProof.RadialMollifier.moll_integral` {δ : ℝ} (hδ : 0 < δ) : ∫ z : ℂ, moll δ z = 1

Initializing...

`BookProof.RadialMollifier.moll_integral` {δ : ℝ} (hδ : 0 < δ) : ∫ z : ℂ, moll δ z = 1 · Prove2Me