# Commit 2022-02-05 19:40 0f9c1538

View on Github →feat(algebra/cubic_discriminant): basics of cubic polynomials and their discriminants (#11483)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra/cubic_discriminant): basics of cubic polynomials and their discriminants (#11483)