Roth's Theorem

GPTKB entity