mathlib3

79582514 - doc(field_theory/abel_ruffini): update module doc (#10426)