Collaborative workthrough of Lang's Introduction to Linear Algebra