Theorem Polynomial.IsSplittingField.adjoin_rootSet

Modification history

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