Theorem Polynomial.discr_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) …
Added Polynomial.discr_of_degree_eq_threeView on Github →