mathlib3

[Merged by Bors] - chore(field_theory.finite.galois_field, number_theory.cyclotomic.basic): make splitting_field.algebra' an instance again

#19191

Closed