Theorem: An $n \times n$ matrix $A$ is nonsingular iff 0 is not an eigenvalue of $A$. If 0 were an eigenvalue, there would exist a nonzero $v$ with $Av = 0v = 0$, making $A$ singular.
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.