Theorem Polynomial.add_scaleRoots_of_natDegree_eq

Modification history

2023-11-28 11:15
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat: Add lemmas about `Polynomial.scaleRoots`. (#8653)
Added Polynomial.add_scaleRoots_of_natDegree_eqView on Github →