an injective polynomial function from an n-dim complex vector space to itself is bijective
En mathématiques, le théorème d'Ax-Grothendieck est un résultat d'algèbre sur l'injectivité et la surjectivité des polynômes qui a été prouvé indépendamment par James Ax et Alexandre Grothendieck. Ce théorème est souvent énoncé dans le cas particulier suivant : toute fonction polynomiale de Cn dans Cn qui est injective est bijective. Le théorème complet est la généralisation à n'importe quelle variété algébrique sur un corps algébriquement clos.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).