mathlib

c5027c91 - doc(field_theory/separable): typo (#10290)