Also known as Hopf-Rinow theorem
theorem that, for a Riemannian manifold, geodesic completeness is equivalent to completeness as a metric space
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).