mathlib3

9362a5b5 - docs(data/polynomial/ring_division, field_theory/splitting_field): update docs (#16406)