Most physics-oriented group theory books are playful but imprecise. They might say, “A Lie group is a continuous group,” leaving mathematicians apoplectic. Sternberg defines a Lie group as a smooth manifold with group operations that are ( C^\infty ). Then he immediately explains why that precision matters: it prevents pathologies in the exponential map and guarantees the existence of invariant integration (the Haar measure).