P
Initializing...
Basic properties of the divisor vector of a divisor `D` of degree `n`: the affine polynomial of `D` is monic of degree `n - D ∞`, it is the form polynomial of the divisor vector, whose entry at `n - D · Prove2Me