theorem that an analytic function is completely determined by its values on a countable subset that contains a converging sequence together with its limit
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).