Definition:Smooth Manifold