If the points of `S` of each degree `δ > 0` are counted by `availablePoints offset δ` at `q = |k|`, then the divisors of degree `n` supported on `S` with array `m` are counted by `divisorCount offset

Initializing...

If the points of `S` of each degree `δ > 0` are counted by `availablePoints offset δ` at `q = |k|`, then the divisors of degree `n` supported on `S` with array `m` are counted by `divisorCount offset · Prove2Me