While it certainly isn't terse, Linear Algebra by Friedberg, Insel, and Spence is comprehensive and rigorous. It has everything you would ever want to know abou

While it certainly isn't terse, Linear Algebra by Friedberg, Insel, and Spence is comprehensive and rigorous. It has everything you would ever want to know about linear algebra with some applications too.