Theorem Polynomial.Splits.taylor

Modification history

2025-11-25 07:17

Mathlib/Algebra/Polynomial/Factors.lean

feat(RingTheory): resultant is multiplicative (#31871)

Added Polynomial.Splits.taylor View on Github →