A two-chart curve datum on a complete regular local surface comes from a global function `f` whose glued level generators cut out the left and right level kernels.

Initializing...

A two-chart curve datum on a complete regular local surface comes from a global function `f` whose glued level generators cut out the left and right level kernels. · Prove2Me