Theorem Polynomial.sylvesterDeriv_updateRow

Modification history

2025-09-03 09:57
Mathlib/RingTheory/Polynomial/Resultant/Basic.lean
feat(RingTheory/Polynomial): define discriminant (#29252)
Added Polynomial.sylvesterDeriv_updateRowView on Github →