mathlib3

refactor(linear_algebra/basic): use smul_right

#1640

Merged