`BookProof.ChapterCoherentPositionSpace.packetNorm_sq` : packetNorm ^ 2 = (Real.sqrt Real.pi)⁻¹

Initializing...

`BookProof.ChapterCoherentPositionSpace.packetNorm_sq` : packetNorm ^ 2 = (Real.sqrt Real.pi)⁻¹ · Prove2Me