Van Lint–Wilson conjecture

GPTKB entity