Smooth Manifolds and Lie Groups