theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that point
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).