Let `σ` be a section of the surface-to-curve-limit map that sends a surface function to its constant thread.

Initializing...

Let `σ` be a section of the surface-to-curve-limit map that sends a surface function to its constant thread. · Prove2Me