Catalog of theorems from Linear Algebra alongside proofs for each.

Nothing from Section 1.6 yet.