Linear algebra
Linear algebra theorems.