Linear Inequations

A 1-module path through linear inequations, in study order from foundations to the frontier.