mathlib3

4705a6b5 - doc(ring_theory/hahn_series): Update Hahn Series docstring (#8883)