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: Oct 13 2024 at 01:02 UTC