P

Initializing...

Garrido, Theorem 2.6 for power sets — an invariant measure on an invariant ring of sets extends to an invariant measure on all subsets · Prove2Me