Theorem Polynomial.disc_of_degree_eq_three

Modification history

2025-10-20 10:08
Mathlib/RingTheory/Polynomial/Resultant/Basic.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Deleted Polynomial.disc_of_degree_eq_threeView on Github →
2025-09-08 12:18
Mathlib/RingTheory/Polynomial/Resultant/Basic.lean
feat(RingTheory/Polynomial): cubic discriminant (#29431) …
Added Polynomial.disc_of_degree_eq_threeView on Github →