Zariski–Chevalley conjecture

GPTKB entity