Theorem Polynomial.discr_C

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