Every multiple `G.left j * c` on the overlap is the untwisted Čech differential of a level-`j` curve section, modulo the `j`-th power of the exceptional ideal.

Initializing...

Every multiple `G.left j * c` on the overlap is the untwisted Čech differential of a level-`j` curve section, modulo the `j`-th power of the exceptional ideal. · Prove2Me