Minkowski's theorem

ID: minkowski-s-theorem

If is a full lattice and a measurable convex centrally symmetric set has volume greater than , then contains a nonzero lattice point.

New to topics? Read the docs here!