`BookProof.ChapterCoherentPositionSpace.gaussianPacket_inner_eq_one_iff` (a b : ℝ) : (∫ x : ℝ, gaussianPacket a x * gaussianPacket b x) = 1 ↔ a = b

Initializing...

`BookProof.ChapterCoherentPositionSpace.gaussianPacket_inner_eq_one_iff` (a b : ℝ) : (∫ x : ℝ, gaussianPacket a x * gaussianPacket b x) = 1 ↔ a = b · Prove2Me