Suppose one has a smooth manifold with boundary M and compact on top of it. Is it true that it can always be embedded in an upper half plane such that the boundary is embedded in the hiperplane $x_n=0$? Or are there obstructions to that? If yes, what are those obstructions? Thank you!

See Theorem 1.4.3. of


