mathlib3

48cb182b - chore(ring_theory/fractional_ideal): remove instance name (#18305)