`BookProof.SqueezedGaussStates.Acoef_nonneg` (v : ℝ) (m : ℕ) : 0 ≤ Acoef v m · Prove2Me

P

Initializing...

`BookProof.SqueezedGaussStates.Acoef_nonneg` (v : ℝ) (m : ℕ) : 0 ≤ Acoef v m · Prove2Me