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

d_of_eq

Mathlib.Algebra.CubicDiscriminant

URI: https://scilib.ai/kg/mathlib#Cubic.d_of_eq

← MathLib Explorer