Catalog of theorems from Linear Algebra alongside proofs for each.

Nothing from Section 1.5 yet.