Theorem Polynomial.resultant_deriv

Modification history

2025-09-03 09:57

Mathlib/RingTheory/Polynomial/Resultant/Basic.lean

feat(RingTheory/Polynomial): define discriminant (#29252)

Added Polynomial.resultant_deriv View on Github →