The curve order `R/J` of an ideal `J` in the state set of a concrete member is a free `O`-module of rank the degree of the state.

Initializing...

The curve order `R/J` of an ideal `J` in the state set of a concrete member is a free `O`-module of rank the degree of the state. · Prove2Me