History

for article: Ax–Grothendieck theorem