`BookProof.ScalaronHermiteEsa.potCore_deficiencyTrivialAt` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt (polyGaussCore (d

Initializing...

`BookProof.ScalaronHermiteEsa.potCore_deficiencyTrivialAt` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt (polyGaussCore (d · Prove2Me