`BookProof.RadialMollifier.moll_support_subset` {δ : ℝ} (hδ : 0 < δ) : Function.support (moll δ) ⊆ ball (0 : ℂ) δ

Initializing...

`BookProof.RadialMollifier.moll_support_subset` {δ : ℝ} (hδ : 0 < δ) : Function.support (moll δ) ⊆ ball (0 : ℂ) δ · Prove2Me