Commit 2026-09-02 14:14 11e47f6f

feat(FieldTheory/PolynomialGaloisGroup): add equivariant bijection between root sets (#41051) Currently the bijection rootsEquivRoots between root sets of a polynomial that splits is not equivariant with respect to the action of the Galois group. This PR demotes the existing rootsEquivRoots to an auxilliary def rootsEquivRootsAux and adds an equivariant rootsEquivRoots in its place.