`BookProof.ChapterCoherentPositionSpace.gaussianPacket_inner` (a b : ℝ) : (∫ x : ℝ, gaussianPacket a x * gaussianPacket b x) = Real.exp (-(a

Initializing...

`BookProof.ChapterCoherentPositionSpace.gaussianPacket_inner` (a b : ℝ) : (∫ x : ℝ, gaussianPacket a x * gaussianPacket b x) = Real.exp (-(a - b) ^ 2 / 4) · Prove2Me