mathlib

c8734e89 - feat(data/mv_polynomial/basic): add more general smul compatibility instances (#19187)