Def Polynomial.Gal.mapRoots

Modification history

2023-06-23 10:52

Mathlib/FieldTheory/PolynomialGaloisGroup.lean

feat: port FieldTheory.PolynomialGaloisGroup (#5159)

Added Polynomial.Gal.mapRoots View on Github →