Def Polynomial.Gal.restrictDvd

Modification history

2023-06-23 10:52

Mathlib/FieldTheory/PolynomialGaloisGroup.lean

feat: port FieldTheory.PolynomialGaloisGroup (#5159)

Added Polynomial.Gal.restrictDvd View on Github →