Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsSeparable.isAlgebraic
Modification history
2024-05-16 14:20
Mathlib/FieldTheory/Separable.lean
refactor: Turn Algebra.IsAlgebraic and Algebra.IsIntegral into classes (#12761) …
Deleted
IsSeparable.isAlgebraic
View on Github →
2023-12-07 22:15
Mathlib/FieldTheory/Separable.lean
feat(FieldTheory/Separable): add `AlgEquiv.isSeparable`, `AlgEquiv.isSeparable_iff` and `IsSeparable.isAlgebraic` (#8861) …
Added
IsSeparable.isAlgebraic
View on Github →