P
Initializing...
Corollary 1.17 (uniqueness) -- at most one stationary distribution · Prove2Me