Toft's conjecture

GPTKB entity