I'm currently reading through Loring Tu's "An Introduction to Manifolds", which I've linked over here. I have a question about proposition 6.10, where Tu proves that every chart (U,ϕ)(U, \phi) ...