A two-chart curve datum on a concrete surface `ConcreteSurface O pi u a b` 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 concrete surface `ConcreteSurface O pi u a b` comes from a global function `f` whose glued level generators cut out the left and right level kernels. · Prove2Me