Commit 2024-12-01 19:53 6926cee9
View on Github →fix(FieldTheory/AlgebraicClosure): algebraicClosure.AlgEquiv.algebraicClosure -> AlgEquiv.algebraicClosure (#19642)
fix(FieldTheory/AlgebraicClosure): algebraicClosure.AlgEquiv.algebraicClosure -> AlgEquiv.algebraicClosure (#19642)