Def Polynomial.Gal.restrictComp

Modification history

2023-06-23 10:52

Mathlib/FieldTheory/PolynomialGaloisGroup.lean

feat: port FieldTheory.PolynomialGaloisGroup (#5159)

Added Polynomial.Gal.restrictComp View on Github →