theorem about how to expand a power of a sum in terms of powers of the terms in that sum. It is the generalization of the binomial theorem to polynomials
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).