A global function glued from the generators of a curve datum matching `Dv` has tangent divisor `Dv` in degree `deg D`.

Initializing...

A global function glued from the generators of a curve datum matching `Dv` has tangent divisor `Dv` in degree `deg D`. · Prove2Me