P
Initializing...
Theorem 5.5.11 — the stationary probability is the reciprocal mean return time · Prove2Me