Proposition 5.1 (maps-to part): taking strict transforms at all exceptional points sends the fixed tangent cell of state `s` and degree `d` into the product of the child ideal sets.

Initializing...

Proposition 5.1 (maps-to part): taking strict transforms at all exceptional points sends the fixed tangent cell of state `s` and degree `d` into the product of the child ideal sets. · Prove2Me