`BookProof.ScalaronHermiteEsa.gaussExpDecay_lp` (w : L2d d) : GaussExpDecay ((w : Vd d → ℂ))

Initializing...

`BookProof.ScalaronHermiteEsa.gaussExpDecay_lp` (w : L2d d) : GaussExpDecay ((w : Vd d → ℂ)) · Prove2Me