Zariski–Lipman theorem

GPTKB entity