mathlib3

a252427a - chore(algebra/algebra/basic): fix instances names to make doc links work (#10834)