This theorem about matrices of linear maps doesn't look correct.

Yes, it does imply exactly what you've said. Remember that linear map between vector spaces of the same finite dimension is injective if and only if it is surjective if and only if it is bijective. Furthermore, it's a good exercise to carry out that such a map always takes a linearly independent set to a linearly independent set, which implies that such a map takes a basis of $L$ to a basis of $M$ (when they have the same dimension).

In this case, choose any basis $\{e_i\}$ of $L$ and then consider $\{fe_i\}$ as a basis of $M$. Then the matrix of $f$ with respect to these bases is the identity.


Perhaps you're confused because you know that if you were to have an injective linear map $g:L\rightarrow L$ then it wouldn't necessarily be true that there was a basis of $L$ so that the matrix of $g$ in this basis was the identity.

But the stated theorem talks about an injective linear map $f:L\rightarrow M$, between two different vector spaces. So we are considering picking a basis of $L$ and (completely separately) picking a basis of $M$. This gives us much more freedom, indeed enough to make the theorem true.