# Commit 2021-09-20 04:23 035bd249

View on Github →refactor(field_theory/algebraic_closure): Move construction of algebraic closure and lemmas about alg closed fields into seperate files. (#9265)

Mathlib v3 is deprecated. Go to Mathlib v4

refactor(field_theory/algebraic_closure): Move construction of algebraic closure and lemmas about alg closed fields into seperate files. (#9265)