Zariski–Samuel lemma

GPTKB entity