theorem that, under a mild condition on the partial derivatives, the set of zeros of a system of equations is locally the graph of a function
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).
via Wikidata sitelinks · CC0