Orientation-reversing diffeomorphism (source code)

= Orientation-reversing diffeomorphism

An orientation-reversing diffeomorphism reverses the chosen orientation. In oriented local coordinates its derivative has negative determinant.