`BookProof.WeylCauchyRiemann.bumpSeq_support` (n : ℕ) : Function.support ((bumpSeq n).normed volume) ⊆ ball (0 : ℂ) ((bumpSeq n).rOut)

Initializing...

`BookProof.WeylCauchyRiemann.bumpSeq_support` (n : ℕ) : Function.support ((bumpSeq n).normed volume) ⊆ ball (0 : ℂ) ((bumpSeq n).rOut) · Prove2Me