mathlib

7104132e - chore(field_theory/finite): spelling mistake (#2157)