P

Initializing...

Theorem 9 (with Lemma 10) — the invariant state is $\chi_A=\frac1{d_A}\sum_i\varphi_i$ · Prove2Me