Also known as sum of angles of a triangle, triangle postulate
theorem that, in Euclidean geometry, the sum of angles of a triangle is π radians
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).