Mautner's lemma
In mathematics, Mautner's lemma in representation theory states that if G is a topological group and π a unitary representation of G on a Hilbert space H, then for any x in G, which has conjugates
converging to the identity element e, for a net of elements y, then any vector v of H invariant under all the π is also invariant under π.
