P
Initializing...
Measure-level domination: $\pi(dx)Q(x,dy)\alpha_{MH}(x,y)\ge\sum_i\beta_i\pi(dx)Q_i(x,dy)\alpha^{(i)}_{MH}(x,y)$ · Prove2Me