Commit 2025-09-08 12:18 235c7097
View on Github →feat(RingTheory/Polynomial): cubic discriminant (#29431) Derive the standard formula for the discriminant of a cubic, from the general definition for arbitrary polynomials added in #29252.
feat(RingTheory/Polynomial): cubic discriminant (#29431) Derive the standard formula for the discriminant of a cubic, from the general definition for arbitrary polynomials added in #29252.