A global function glued from a curve datum matching `Dv`, whose strict transforms are the prescribed child ideals, generates an ideal of the fixed tangent cell.

Initializing...

A global function glued from a curve datum matching `Dv`, whose strict transforms are the prescribed child ideals, generates an ideal of the fixed tangent cell. · Prove2Me