P
Initializing...
Theorem E.6 — acceptance-conditioned Markov sampling · Prove2Me