theorem that a continuous complex‐valued function on an open set in the complex plane whose contour integral on any closed piecewise‐𝒞¹ curve vanishes must be holomorphic
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).