The index map of a curve on a concrete surface, reindexed along an enumeration `e` of the points of its two-chart curve data: an injective `O`-algebra map from `R/(f)` into the product of the local cu

Initializing...

The index map of a curve on a concrete surface, reindexed along an enumeration `e` of the points of its two-chart curve data: an injective `O`-algebra map from `R/(f)` into the product of the local cu · Prove2Me