The curve order limit is `O`-linearly isomorphic to the child order, compatibly with the maps from surface functions.

Initializing...

The curve order limit is `O`-linearly isomorphic to the child order, compatibly with the maps from surface functions. · Prove2Me