P
Initializing...
The origin of a mixed chart lies in the Zariski closure of the chart curve off the axis $u=0$ · Prove2Me