P
Initializing...
Proposition 1.14 -- existence of a positive stationary distribution · Prove2Me