mathlib3

bfd3a89c - doc(algebra/ring/basic): fix typo (#10250)