For $A\in\mathbb F^{m\times n}$, $\operatorname{Col}(A)$ is a subspace of $\mathbb F^m$. Indeed, if $u=Ax$ and $v=Ay$, then $\alpha u+\beta v=A(\alpha x+\beta y)$. It contains zero by taking $x=0$.
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.