I am looking for some linear algebra books that contain the below proposition:
If a matrix over an arbitrary vector space $V$ and base field $\mathbb{F}$ that has determinant $0$ if the columns are linearly dependent.
In that form or something close to it. By this, I mean that the book actually states the above in a proposition or maybe as a combination of $2$ side by side lemmas (without the reader required to his own logic).
Edit: I know how to prove this fact, and where the proof comes from, etc. but, long story short, I just need to find some book that states something similar to this succinctly (even without proof is fine).