Zariski–Grothendieck purity theorem

GPTKB entity