Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.IsSplittingField.finiteDimensional
Modification history
2024-08-05 13:16
Mathlib/FieldTheory/SplittingField/IsSplittingField.lean
chore: remove some open Classical, part 3 (#15417) …
Modified
Polynomial.IsSplittingField.finiteDimensional
View on Github →
2023-06-06 05:32
Mathlib/FieldTheory/SplittingField/IsSplittingField.lean
feat: port FieldTheory.SplittingField.IsSplittingField (#4714)
Added
Polynomial.IsSplittingField.finiteDimensional
View on Github →