`BookProof.ChapterCoherentPositionSpace.gaussianPacket_pos` (a x : ℝ) : 0 < gaussianPacket a x

Initializing...

`BookProof.ChapterCoherentPositionSpace.gaussianPacket_pos` (a x : ℝ) : 0 < gaussianPacket a x · Prove2Me