The set of ideals in a cell whose strict transforms lie in a measurable box `Π G_j` is measurable.

Initializing...

The set of ideals in a cell whose strict transforms lie in a measurable box `Π G_j` is measurable. · Prove2Me