The images in the overlap of the generators `F j` of the level kernels of the opposite chart are nonzerodivisors modulo the powers of the exceptional divisor.

Initializing...

The images in the overlap of the generators `F j` of the level kernels of the opposite chart are nonzerodivisors modulo the powers of the exceptional divisor. · Prove2Me