mathlib3

77395f1e - chore(algebra/module/basic): Move the scalar action earlier (#12690)

chore(algebra/module/basic): Move the scalar action earlier (#12690) This is prep work for golfing some of the instances. This also adjust the variables slightly to be in a more sensible order.