The curve order limit is in bijection with compatible threads in the product of the local level quotients, compatibly with the maps from curve threads.

Initializing...

The curve order limit is in bijection with compatible threads in the product of the local level quotients, compatibly with the maps from curve threads. · Prove2Me