mathlib

d6e7ee07 - doc(ring_theory/localization): fix docstring typo (#4081)