At $(0,0)$ on the conjugate cover: $w'$ is a uniformizer, $h_{\overline\alpha}'(s)$ is a unit, and $s\,k(s)={w'}^2$

Initializing...

At $(0,0)$ on the conjugate cover: $w'$ is a uniformizer, $h_{\overline\alpha}'(s)$ is a unit, and $s\,k(s)={w'}^2$ · Prove2Me