Proof. [0168]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Surjectivity follows from Proposition 4.3, and continuity from (4.2) after unwinding the definitions. It remains to establish (4.2). Consider any point and set . We can find adapted coordinate charts at on and at on such that and such that the following holds: in , in and . Since the map is given by (4.1), the result now follows from Proposition 2.1. ∎