P
Initializing...
Classical channel $N(y|x)$ and its action $Np$, $Nq$ (Corollary 10.7.2) · Prove2Me