mathlib

4e529b03 - feat(field_theory/ax_grothendieck): Ax-Grothendieck for algebraic extensions of finite fields (#18479)

feat(field_theory/ax_grothendieck): Ax-Grothendieck for algebraic extensions of finite fields (#18479) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com> Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>