At every point of the first chart in two-chart curve data, the exceptional parameter is a nonzerodivisor modulo the local equation, and some power of the maximal ideal of the completion lies in the le

Initializing...

At every point of the first chart in two-chart curve data, the exceptional parameter is a nonzerodivisor modulo the local equation, and some power of the maximal ideal of the completion lies in the le · Prove2Me