mathlib

95d33ee9 - refactor(algebra/quadratic_discriminant): drop linearity condition; cleanup (#4656)

refactor(algebra/quadratic_discriminant): drop linearity condition; cleanup (#4656) Renames: - `discriminant_le_zero` to `discrim_le_zero` - `discriminant_lt_zero` to `discrim_lt_zero`