For a concrete surface, the child-order map is `O`-linear with kernel `(f)` and cokernel of length `binom(d, 2)`, where `d` is the curve degree.

Initializing...

For a concrete surface, the child-order map is `O`-linear with kernel `(f)` and cokernel of length `binom(d, 2)`, where `d` is the curve degree. · Prove2Me