# Commit 2024-02-10 09:09 e7a73bf3

View on Github →feat(PerfectRing): roots of `Polynomial.expand`

(#9311)
Inspired by #9271
Prove the main theorem `rootMultiplicity_expand`

and derive corollaries about `Polynomial.roots`

. Refactor `rootsExpand(Pow)EquivRoots`

using the new lemmas.