At an exceptional point of the left chart of the concrete surface, the completed local ring is again a concrete surface, and the reduction modulo `T` of a chart element is its residue polynomial shift

Initializing...

At an exceptional point of the left chart of the concrete surface, the completed local ring is again a concrete surface, and the reduction modulo `T` of a chart element is its residue polynomial shift · Prove2Me