GitHub repository: pelicanhere/mathlib4_stacks_project_field_new
Primary language: Lean
Description: feat(Field): add theorems in Stacks Project Chapter 09FA Fields