The level-`j` kernels of the two charts both extend to the common level-`j` kernel on the overlap.

Initializing...

The level-`j` kernels of the two charts both extend to the common level-`j` kernel on the overlap. · Prove2Me