théorème d'Ax-Grothendieck

Théorème

une fonction polynomiale injective d'un espace vectoriel complexe de dimension n dans lui-même est bijective

Traduit de l’anglais automatiquement — non relu. « an injective polynomial function from an n-dim complex vector space to itself is bijective »