2019 January 2, John M. Lee,Introduction to Riemannian Manifolds (Graduate Texts in Mathematics)[1], Springer,→ISBN,→OCLC, page135:
Let be a smooth coordinate chart for, and let be a local orthonormal frame for the normal bundle; by shrinking if necessary, we can assume that the coordinates and the local frame are defined on the same open subset. Let, and let be the portion of the normal bundle over. Thecoordinate map and frame yield a diffeomorphism defined by[…]