Also known as Cartan–von Neumann theorem
theorem stating that, if H is a closed subgroup of a Lie group G, then H is an embedded Lie group with the relative topology being the same as the group topology
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).