Prefer a chat interface with context about you and your work?
A short proof for the polyhedrality of the Chvátal–Gomory closure of a compact convex set