mathlib

8faf8df0 - feat(field_theory/splitting_field): splits predicate on polynomials