Def Polynomial.Gal.galActionHom

Modification history

2023-06-23 10:52

Mathlib/FieldTheory/PolynomialGaloisGroup.lean

feat: port FieldTheory.PolynomialGaloisGroup (#5159)

Added Polynomial.Gal.galActionHom View on Github →