mathlib

d6056eee - feat(field_theory/splitting_field): add eval_root_derivative_of_split (#10224)