Wikipedia says "The book has a pure, proof-heavy focus and is aimed at upper-division undergraduates who have been exposed to linear algebra in a prior course." [1], so it seems to be a different category of book?

[1] https://en.wikipedia.org/wiki/Linear_Algebra_(book)