`BookProof.ScalaronHermiteEsa.ae_eq_zero_of_moments_of_gaussExpDecay` {u : Vd d → ℂ} (hu : GaussExpDecay u) (hmom : ∀ p : MvPolynomial (Fin d) ℂ, ∫ x : Vd d, pgFun p x * u x = 0) :

Initializing...

`BookProof.ScalaronHermiteEsa.ae_eq_zero_of_moments_of_gaussExpDecay` {u : Vd d → ℂ} (hu : GaussExpDecay u) (hmom : ∀ p : MvPolynomial (Fin d) ℂ, ∫ x : Vd d, pgFun p x * u x = 0) : · Prove2Me