Catalog of theorems from Linear Algebra alongside proofs for each.

Nothing from Section 1.4 yet.