mathlib

e1503e02 - feat(data/sym/sym2): `set_like` instance (#17154)