I am currently taking Linear Algebra at a community college. So far, it is very application based, which is fine. But I’d like to get additional exposure to the proof side of LA (I’ve heard some LA classes are very proof based, which mine is not).
How can I get good exposure and practice to more proof-based LA? Maybe there’s a good book I can work through?