Ehrhart's sharp volume inequality

Source: url:https://github.com/openai/ten-proofs Authors: OpenAI, Dean Cureton Status: verified Main declarations: Ehrhart.Volume.ehrhart_volume_inequality_for_sets Tags: convex-geometry, geometry-of-numbers, lattice-points, ehrhart-theory MSC: 52A40, 11H06