Also known as left Haar measure, right Haar measure, Haar integral
left-invariant (or right-invariant) measure on locally compact topological group
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).