Source: /wikibot/ax-grothendieck-theorem

= Ax–Grothendieck theorem
{wiki=Ax–Grothendieck_theorem}