Skip to content
Ax–Grothendieck theorem · Vinony