Theorem Polynomial.scaleRoots_zero

Modification history

2023-11-28 11:15

Mathlib/RingTheory/Polynomial/ScaleRoots.lean

feat: Add lemmas about `Polynomial.scaleRoots`. (#8653)

Added Polynomial.scaleRoots_zero View on Github →