P
Initializing...
Theorem 2.7 — amenability, an invariant mean, non-paradoxicality and the invariant extension property are equivalent · Prove2Me