Chart gluing: a set closed in all four charts and containing the affine curve $P_\alpha=0$ contains $V_\alpha$

Initializing...

Chart gluing: a set closed in all four charts and containing the affine curve $P_\alpha=0$ contains $V_\alpha$ · Prove2Me