The measure of the set of ideals in a cell whose strict transforms lie in a box `Π G_j` is `q^(-tri(cellDegree))` times the product of the child state measures of the `G_j`.

Initializing...

The measure of the set of ideals in a cell whose strict transforms lie in a box `Π G_j` is `q^(-tri(cellDegree))` times the product of the child state measures of the `G_j`. · Prove2Me