i have a question about this situation. Let denote the Torus.
And let be the projection defined by
The claim is now, if is a chart for , s.t. is injective, then is a chart for .
i don't understand why the composition is a chart?
Can you help me?