Also known as Lehmus' theorem, internal bisectors problem, Steiner-Lehmus-Terquem theorem
theorem that a triangle with two angle bisectors of equal lengths is isosceles
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).