A surface function lifting the glued pair agrees with it on the `x`-chart modulo `(x)^j`.

Initializing...

A surface function lifting the glued pair agrees with it on the `x`-chart modulo `(x)^j`. · Prove2Me