Theorem Polynomial.Gal.smul_rootsEquivRoots

Modification history

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