mathlib3

f1b387f8 - feat(algebra/module/basic): Add smul_comm_class instances (#5205)