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

Initializing...

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