Regularity of CR mappings (Q1100318)

We prove that a continuous locally proper CR mapping between \(C^{\infty}\) smooth pseudoconvex hypersurfaces of finite type in \({\mathbb{C}}^ n\) \((n>1)\) must be \(C^{\infty}\) smooth. If, in the same setting, the CR map is assumed to be a local homeomorphism, then it must be a local \(C^{\infty}\) diffeomorphism.