The chart change $(X,Y)\mapsto(1/Y,X)$ maps the affine curve with $Y\ne0$ onto the punctured mixed chart curve

Initializing...

The chart change $(X,Y)\mapsto(1/Y,X)$ maps the affine curve with $Y\ne0$ onto the punctured mixed chart curve · Prove2Me