Sacks jump inversion theorem

GPTKB entity