Orientability of factors of a product manifold (source code)

= Orientability of factors of a product manifold

If $M\times N$ is orientable, fix a point of $N$ and an ordered basis of its tangent space. Contracting a product orientation with that basis gives a smooth orientation of $M$. Interchanging the factors gives an orientation of $N$.