Given two-chart curve data matching the divisor of a cell, the children of the cell are in bijection with the points of the curve data, compatibly with the completed local rings, the maps from the sur

Initializing...

Given two-chart curve data matching the divisor of a cell, the children of the cell are in bijection with the points of the curve data, compatibly with the completed local rings, the maps from the sur · Prove2Me