Theorem Polynomial.IsSplittingField.adjoin_roots

Modification history

2023-06-14 13:55
Mathlib/FieldTheory/SplittingField/IsSplittingField.lean
chore: forward-port leanprover-community/mathlib#19179 (#5022) …
Deleted Polynomial.IsSplittingField.adjoin_rootsView on Github →
2023-06-06 05:32
Mathlib/FieldTheory/SplittingField/IsSplittingField.lean
feat: port FieldTheory.SplittingField.IsSplittingField (#4714)
Added Polynomial.IsSplittingField.adjoin_rootsView on Github →