P
Initializing...
Strongly typical set $T_\delta^{X^n}$ and strong jointly typical set (Definitions 14.7.2, 14.8.1–14.8.2) · Prove2Me