`BookProof.ScalaronHermiteEsa.moments_of_deficiency` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) {z : ℂ} {w : L2d d} (hw : ∀ v : polyGaussCore (d := d), (inner ℂ (potC

Initializing...

`BookProof.ScalaronHermiteEsa.moments_of_deficiency` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) {z : ℂ} {w : L2d d} (hw : ∀ v : polyGaussCore (d := d), (inner ℂ (potC · Prove2Me