lie-algebras-and-their-representations

diff --git a/sections/introduction.tex b/sections/introduction.tex
@@ -714,10 +714,9 @@ century. Specifically, we find\dots
   Let \(G\) be a Lie group and \(\mathfrak{g}\) be its Lie algebra. Denote by
   \(\operatorname{Diff}(G)^G\) the algebra of \(G\)-invariant differential
   operators in \(G\) -- i.e. the algebra of all differential operators \(P :
-  C^\infty(G) \to C^\infty(G)\) such that \((P(f \circ \ell_g)) \circ
-  \ell_{g^{-1}} = P f\) for all \(f \in C^\infty(G)\) and \(g \in G\). There is
-  a canonical isomorphism of algebras \(\mathcal{U}(\mathfrak{g}) \isoto
-  \operatorname{Diff}(G)^G\).
+  C^\infty(G) \to C^\infty(G)\) such that \(g \cdot P f = P (g \cdot f)\) for
+  all \(f \in C^\infty(G)\) and \(g \in G\). There is a canonical isomorphism
+  of algebras \(\mathcal{U}(\mathfrak{g}) \isoto \operatorname{Diff}(G)^G\).
 \end{proposition}
 
 \begin{proof}