mathlib3

d4846b32 - chore(ring_theory/fractional_ideal): fix typo (#11311)