$Φ$：$\Bbb C/\Lambda\to E(\Bbb C)$ : $t\mapsto (\wp(t),\wp'(t))$ is isomorphism as Rieman surface If $\Lambda$ is a lattice in $\Bbb C$ the map
$$z\mapsto (\wp(z),\wp'(z))$$
is a parametrisation of the complex points of the elliptic curve
$$E:\qquad y^2=4x^3-g_2x-g_3$$
where $g_2$ and $g_3$ depend on $\Lambda$. It induces a group
isomorphism $Φ$：$\Bbb C/\Lambda\to E(\Bbb C)$ : $t\mapsto (\wp(t),\wp'(t))$ .
To show this is isomorphism as Rieman surface, it is enough to prove $Φ$ is local analytic isomorphism ( because $Φ$ is bijective).
So, we only need to check
Φ*(dx/y)＝$d\wp(z)/\wp'(z)$＝$z$・・・①.
Once ① is proved, this is holomorphic and non vanishing at every point of domain, so $Φ$ is local analytic function.
My question: Why first and second equal of ① holds?
 A: Formally, we have $\Phi=(\wp,\wp')$, and people use the letters $x$, $y$ like $\Phi(z)=(\wp(z),\wp'(z))\ "="\ (x,y)$.
Note that $x$ stays also abusively for a "function name", for the projection onto the first component of a point $(x,y)\in E(\Bbb C)$.
(To be pedant, we need to introduce $\pi_1$ which takes $(x,y)$ to $x$. Then trying to use $\pi_1$ for, say" a "polynomial expression in $x,y$... to complicated, we just use the polynomial expression, "knowing what is meant". At some point we no longer care, and write $x$ for $\pi_1$.)
So we compute the pull back of $x$, $dx$, $y$, $dx/y$ (formally):
$$
\begin{aligned}
\Phi^*(x) &= x\circ \Phi\ ,\\
\Phi^*(y) &= y\circ \Phi\ ,\\[2mm]
\Phi^*(x)(z) &= x\circ \Phi(z)=x\circ(\wp(z),\wp'(z))=\wp(z)\ ,\\
\Phi^*(y)(z) &= y\circ \Phi(z)=y\circ(\wp(z),\wp'(z))=\wp'(z)\ ,
    \text{ so formally}\\[2mm]
\Phi^*(x) &= \wp(z)\ ,\\
\Phi^*(y) &= \wp'(z)\ ,\\[2mm]
\Phi^*(dx) &= d\Phi^*(x)=d\wp(z)=\wp'(z)\; dz\ ,\\
\Phi^*\left(\frac{dx}y\right) 
&= \frac{\wp'(z)\; dz}{\wp'(z)}=dz\ .
\end{aligned}
$$
(The invariant differential $\displaystyle\frac 1y\; dx$ is thus mapped contravariantly into the invariant differential $dz$. The first invariance is
w.r.t. the addition on the elliptic curve $E(\Bbb C)$, the second w.r.t. the addition on $\Bbb C$.)
