Given a smooth manifold $M$, say of dimension $n$ and two charts $ (U,x)$ & $ (V,y)$, I want to prove that if $U \cap V \neq \emptyset $, then the exterior derivatives $d_x$ and $d_y$ coincide in $ U \cap V$.
For this, there is a Lemma (8.36) in Jeffrey Lee's Manifolds and Differential Geometry that says that if I have two natural graded derivations of the same degree defined on the same set (such as $d_x$ and $d_y$ in $ U \cap V$), and they coincide when applied to smooth functions and exact forms, then they are equal.
If $\alpha$ is an exact form, then $\alpha = d\beta$ for some differential form $\beta$. The exterior derivative $d$ satisfies that $d \circ d = 0$, so $d_x\alpha = d_y\alpha = d \circ d \beta = 0 $.
Now, given a smooth function $f \in C^\infty(U \cap V)$, I want to show that $d_xf = \sum_i \partial f/\partial x^i dx^i = \sum_i \partial f/\partial y^i dy^i = d_yf$, but I don't know how.
I only know that $\partial f/\partial x^i = \sum_k \partial f/\partial y^k \cdot \partial y^k/\partial x^i$.