`BookProof.RadialMollifier.moll_hasCompactSupport` {δ : ℝ} (hδ : 0 < δ) : HasCompactSupport (moll δ)

Initializing...

`BookProof.RadialMollifier.moll_hasCompactSupport` {δ : ℝ} (hδ : 0 < δ) : HasCompactSupport (moll δ) · Prove2Me