noun
(mathematics) A differentiable homeomorphism (with differentiable inverse) between differentiable manifolds.