Linear algebra by Friedberg or Hoffman and Kunez?

I need the most rigourous text on linear algebra and I've been advised to buy one of these but I don't know the differences and which is the best one (I think the one that covers more topics and is more rigorous would be the one) but if you think there is a more rigourous book on linear algebra please let me know.

Hoffman/Kunze, Friedberg, and Lang's Linear Algebra are usually considered to be the best on the subject. I've read through all of Hoffman/Kunze and Friedberg, and found both of them fine. I would go with Hoffman, but it is favoured by only small margin.

Hehe, the question is "A or B?", two people respond with B, and you go for A :)

Thre is no such thing as "the most rigorous book" in any subject. Advanced Linear Algebra by Steven Roman certainly qualifies as rigorous, but is more advanced (not introductory). All the mentioned books are good (Axler is another example).