chore(algebra/module/pi): add missing smul_comm_class instances (#6139)
chore(algebra/module/pi): add missing smul_comm_class instances (#6139)

There are three families of these for consistency with how we have three families of `is_scalar_tower` instances.





leanprover-community/mathlib,leanprover-community/mathlib