mathlib3

ef1a00b6 - feat(data/finsupp, algebra/monoid_algebra): add is_scalar_tower and smul_comm_class (#6534)