Rogers' lemma

GPTKB entity