mathlib

2b61bf03 - chore(ring_theory): typo fix