The strict transform map is a bijection from the fixed tangent cell onto the product of the child ideal sets over the support of `Dv`.

Initializing...

The strict transform map is a bijection from the fixed tangent cell onto the product of the child ideal sets over the support of `Dv`. · Prove2Me