feat(FieldTheory): definition of transcendental separable field extension#37934

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

Thmoas-Guan:transcendental-separable-extension-defThmoas-Guan/mathlib4_fork:transcendental-separable-extension-defCopy head branch name to clipboard