Catalog of theorems from Linear Algebra alongside proofs for each.

Nothing from Section 2.5 yet.