The projection from the curve order limit to the level-`J` quotient of curve sections is surjective.

Initializing...

The projection from the curve order limit to the level-`J` quotient of curve sections is surjective. · Prove2Me