Theorem Polynomial.scaleRoots_eval₂_eq_zero

Modification history

2023-03-13 12:12
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat: Port RingTheory.Polynomial.ScaleRoots (#2841)
Added Polynomial.scaleRoots_eval₂_eq_zeroView on Github →