Daykin–Morrison theorem

GPTKB entity