Theorem Polynomial.discr_of_degree_eq_one

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_oneView on Github →