noiseless coding theorem

GPTKB entity