Theorem Polynomial.Factors.scaleRoots

Modification history

2025-11-25 07:17
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat(RingTheory): resultant is multiplicative (#31871)
Deleted Polynomial.Factors.scaleRootsView on Github →
2025-11-21 12:10
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
refactor(Algebra/Polynomial/Factors): rename `Factors` to `Splits` (#31878) …
Modified Polynomial.Factors.scaleRootsView on Github →
2025-11-17 16:20
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat(RingTheory): lemmas about scaleRoots (#30984)
Added Polynomial.Factors.scaleRootsView on Github →