Theorem Polynomial.IsSplittingField.adjoin_rootSet_eq_range

Modification history

2023-11-01 13:33
Mathlib/FieldTheory/SplittingField/IsSplittingField.lean
refactor: golf Normal.of_isSplittingField (#8004) …
Added Polynomial.IsSplittingField.adjoin_rootSet_eq_rangeView on Github →