Mathlib Changelog
v4
Changelog
About
Github
Theorem
algebraicClosure_toSubalgebra
Modification history
2025-07-25 22:49
Mathlib/FieldTheory/AlgebraicClosure.lean
chore: fix more indentation (#27494) …
Modified
algebraicClosure_toSubalgebra
View on Github →
2024-12-05 08:47
Mathlib/FieldTheory/AlgebraicClosure.lean
feat(RingTheory/Algebraic): transitivity of algebraicity (#19660) …
Added
algebraicClosure_toSubalgebra
View on Github →