discrim_neg — Mathlib · SciLib

∫ Утверждение Mathlib

discrim_neg

Mathlib.Algebra.QuadraticDiscriminant

URI: https://scilib.ai/kg/mathlib#discrim_neg

← MathLib Explorer