mathlib3

17747c09 - feat(number_theory): define number fields, function fields and their rings of integers (#8701)

feat(number_theory): define number fields, function fields and their rings of integers (#8701) Co-Authored-By: Ashvni <ashvni.n@gmail.com> Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>