`BookProof.ScalaronHermiteEsa.continuous_expGauss` (c : ℝ) : Continuous fun x : Vd d => ((Real.exp (c * ‖x‖) * gaussD x : ℝ) : ℂ)

Initializing...

`BookProof.ScalaronHermiteEsa.continuous_expGauss` (c : ℝ) : Continuous fun x : Vd d => ((Real.exp (c * ‖x‖) * gaussD x : ℝ) : ℂ) · Prove2Me