“john m lee smooth manifolds”