since \(\psi _\theta \)  is a local diffeomorphism as a consequence of the manifold being smooth (see, for instance, [1]} Theorem 4.14 or [2]}) and \(\phi _\theta \)  is a local diffeomorphism by the implicit function theorem.
