mathlib

e6731de1 - feat(algebra/pointwise): `smul_comm_class` instances for `set` (#8292)

feat(algebra/pointwise): `smul_comm_class` instances for `set` (#8292) I'm not very familiar with `smul_comm_class`, so these instances might need to be tweaked slightly. Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>