P
Initializing...
`BookProof.HermiteExpWall.gint_self_nonneg` (q : Polynomial ℝ) : 0 ≤ gint (q * q) · Prove2Me