Theorem Polynomial.scaleRoots_aeval_eq_zero_of_aeval_div_eq_zero

Modification history

2023-07-28 16:09
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat(RingTheory/Polynomial/ScaleRoots): reduce typeclass assumptions (#6213)
Modified Polynomial.scaleRoots_aeval_eq_zero_of_aeval_div_eq_zeroView on Github →
2023-03-13 12:12
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat: Port RingTheory.Polynomial.ScaleRoots (#2841)
Added Polynomial.scaleRoots_aeval_eq_zero_of_aeval_div_eq_zeroView on Github →