P
Initializing...
Null recurrent chains: $P^t(x,y)\to 0$ · Prove2Me