The generators `F j` of the level kernels of finitely many exceptional points of the chart are nonzerodivisors modulo the powers of the exceptional divisor.

Initializing...

The generators `F j` of the level kernels of finitely many exceptional points of the chart are nonzerodivisors modulo the powers of the exceptional divisor. · Prove2Me