Level reduction: a local stochastic model on C′ induces one on C with bounds Σ_{|R|=t+1} Π p_j

Initializing...

Level reduction: a local stochastic model on C′ induces one on C with bounds Σ_{|R|=t+1} Π p_j · Prove2Me