Theorem Polynomial.pow_scaleRoots_of_isReduced

Modification history

2025-11-17 16:20
Mathlib/RingTheory/Polynomial/ScaleRoots.lean
feat(RingTheory): lemmas about scaleRoots (#30984)
Added Polynomial.pow_scaleRoots_of_isReducedView on Github →