Sacks density theorem

GPTKB entity