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.