The image of a domain basis always spans the range. It is also independent exactly when $T$ is injective. Thus $T$ is injective iff its basis-image list is a basis of $T(V)$. This statement refers to a list so duplicate images are not silently discarded.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.