The product of child coordinate-ideal maps is a measurable embedding, and pushes the product state measure back to `Π_j q_j^(-deg_j)` times the product coefficient measure.

Initializing...

The product of child coordinate-ideal maps is a measurable embedding, and pushes the product state measure back to `Π_j q_j^(-deg_j)` times the product coefficient measure. · Prove2Me