Commit 2022-03-15 08:11 77395f1e
View on Github →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.
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.