theorem that any non-empty simply connected open proper subset of the complex plane is biholomorphic to the open unit disk
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).