chore(algebra/module/linear_map): golf using injective APIs (#12535)
chore(algebra/module/linear_map): golf using injective APIs (#12535)

To do this, we have to move the `has_scalar` instance higher up in the file.





leanprover-community/mathlib,leanprover-community/mathlib