Lawson's conjecture

GPTKB entity