Catalog of theorems from Linear Algebra alongside proofs for each.

Nothing from Chapter 2 yet.