`BookProof.ChapterCoherentPositionSpace.integral_exp_neg_sq_sub` (c : ℝ) : (∫ x : ℝ, Real.exp (-(x

Initializing...

`BookProof.ChapterCoherentPositionSpace.integral_exp_neg_sq_sub` (c : ℝ) : (∫ x : ℝ, Real.exp (-(x - c) ^ 2)) = Real.sqrt Real.pi · Prove2Me