Zariski–Abhyankar lemma

GPTKB entity