P
Initializing...
Garrido, Theorem 2.6 — an amenable group satisfies the Invariant Extension Theorem for every boolean algebra · Prove2Me