The origin of a mixed chart lies in the Zariski closure of complex points of the chart curve with $u\ne0$

Initializing...

The origin of a mixed chart lies in the Zariski closure of complex points of the chart curve with $u\ne0$ · Prove2Me