Let $U,V\subset\mathbb R^n$ be open. A class $C^k$ diffeomorphism is a bijective $C^k$ function $g:U\to V$ such that the inverse $g^{-1}$ is also of class $C^k$.
Wikidata ID: Q1058314