For a divisor `Dv` with the allowed tangent pattern `P`, the children of `(s, P)` can be matched bijectively with the support points of `Dv`, respecting degrees and child states.

Initializing...

For a divisor `Dv` with the allowed tangent pattern `P`, the children of `(s, P)` can be matched bijectively with the support points of `Dv`, respecting degrees and child states. · Prove2Me