mathlib3

36b8aa61 - feat(algebra/algebra/basic): add shortcut instance (#18907)