Def Polynomial.Gal.rootsEquivRootsAux

Modification history

2026-09-02 14:14
Mathlib/FieldTheory/PolynomialGaloisGroup.lean
feat(FieldTheory/PolynomialGaloisGroup): add equivariant bijection between root sets (#41051) …
Added Polynomial.Gal.rootsEquivRootsAuxView on Github →