- Linear Algebra Done Right by Sheldon Axler
- Linear Algebra by Steven Levandosky
- Linear Algebra and Multivariable Calculus, and Manifolds by Ted Shifrin (you probably do not need the manifolds part)
Also, as paradoxical as it may sound, CS229 lecture notes themselves. The key here is to verify the details painstakingly. In math, we joke that whenever a book says something is "trivial" or "easy to verify" or "clear to show", it is a substantial exercise in disguise.