P

Initializing...

At every point of the second 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 l · Prove2Me