mathlib3

chore(field_theory/finite): spelling mistake

#2157

Merged