P
Initializing...
`BookProof.SqueezedGaussStates.Acoef_zero` (v : ℝ) : Acoef v 0 = 1 · Prove2Me