Generators of the level-`j` kernels of the two charts generate the same ideal on the overlap modulo the `j`-th power of the exceptional ideal.

Initializing...

Generators of the level-`j` kernels of the two charts generate the same ideal on the overlap modulo the `j`-th power of the exceptional ideal. · Prove2Me