Zariski–Chevalley problem

GPTKB entity