mathlib3

f158f25d - feat(data/mv_polynomial/basic): add is_scalar_tower and smul_comm_class instances (#6542)