If two ideals of the same fixed tangent cell have equal strict transforms at the points of positive divisor multiplicity, and the first has the prescribed strict transforms at all datum points, then s

Initializing...

If two ideals of the same fixed tangent cell have equal strict transforms at the points of positive divisor multiplicity, and the first has the prescribed strict transforms at all datum points, then s · Prove2Me