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)

Estimated changes