« Analysis on Manifolds
Lemma.
[009H]
Smoothness
is independent of the choice of
atlas
.
TODO: show this