`BookProof.ScalaronHermiteEsa.gaussExpDecay_potential_sub` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) (z : ℂ) (w : L2d d) : GaussExpDecay (fun x : Vd d => (((W x : ℝ)

Initializing...

`BookProof.ScalaronHermiteEsa.gaussExpDecay_potential_sub` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) (z : ℂ) (w : L2d d) : GaussExpDecay (fun x : Vd d => (((W x : ℝ) · Prove2Me