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