Chayes–McKellar–Winn theorem

GPTKB entity