feat(Algebra/Field/Subfield/Basic): add definition of finitely generated fields#39006

tb65536 wants to merge 5 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_finfieldtb65536/mathlib4:tb_finfieldCopy head branch name to clipboard