Scott–Curry theorem

GPTKB entity