LADW and LADR are great too, for an honors approach with more focus on proofs. To me it would make more sense on a second pass.

Axler is more of a pure math textbook - if you want to dive more into proofs and abstractions.

If you liked 3B1B's style, you will prefer strang over axler. Axler and treil to a greater extent focus on bringing out the abstract elegance and the kind of rigour a math major enjoys. Strang's book also has videos accompanying - on MIT OCW.

B&V VMLS on your list is interesting - they focus a lot on real-world instantiations of the concepts and have you code up things in the (excellent) exercises. Depending on your goals, you can do only this, or strang and then this. Definitely look at the exercises in any case though.

linear_algebra_done_right.pdf, 0 pages read, July 2023

linear_algebra_done_right (1).pdf, 0 pages read, Oct 2023

linear_algebra_done_right (2).pdf, 0 pages read, Sept 2024

Downloading (3) now.

What polemic? Defining the determinant as the unique multilinear alternating form satisfying certain properties is very normal (and in fact the only way that really makes sense for both finite- and infinite-dimensional vector spaces). There are zero unusual things with this book imo.