Do we have the usual high school results about (single variable) degree 2 polynomials somewhere? (I didn't found them in poly.v)

Im looking specifically for `0 <= a -> (forall x, 0 <= a * X^2 + b * X + c) -> b^2 <= 4 * a * c`

Last updated: Jul 15 2024 at 19:01 UTC