Def Polynomial.IsSplittingField.lift

Modification history

2023-06-06 05:32

Mathlib/FieldTheory/SplittingField/IsSplittingField.lean

feat: port FieldTheory.SplittingField.IsSplittingField (#4714)

Added Polynomial.IsSplittingField.lift View on Github →