Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: Minkowski's convex-body theorem, the successive minima, and the bounds they give on short lattice vectors.