Commit 2024-11-05 19:57 cc27c32a
View on Github →feat(FieldTheory/AlgebraicClosure): A polynomial splits in E implies it splits in algebraicClosure F E (#18331)
Add a lemma saying a polynomial splits in E implies it splits in algebraicClosure F E.