mathlib

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

feat(algebra/cubic_discriminant): basics of cubic polynomials and their discriminants (#11483) Co-authored-by: Multramate <dka316@ic.ac.uk> Co-authored-by: Johan Commelin <johan@commelin.net>