mathlib3

0e321167 - feat(data/dfinsupp): add is_scalar_tower and smul_comm_class (#6614)