A surface function `r` lies in the level-`j` curve lattice of the glued generators `G` iff `r ∈ (f) + (t, x)^j`, where `f` is a surface function inducing `G` at every level.

Initializing...

A surface function `r` lies in the level-`j` curve lattice of the glued generators `G` iff `r ∈ (f) + (t, x)^j`, where `f` is a surface function inducing `G` at every level. · Prove2Me