Coordinates on a finite product of free extensions: a measurable `O`-linear equivalence `O^n ≃ ∏ⱼ Oⱼ^(nⱼ)` (with `n = ∑ δⱼ nⱼ`) and representatives `bc` compatible with given representatives `bc' j` i

Initializing...

Coordinates on a finite product of free extensions: a measurable `O`-linear equivalence `O^n ≃ ∏ⱼ Oⱼ^(nⱼ)` (with `n = ∑ δⱼ nⱼ`) and representatives `bc` compatible with given representatives `bc' j` i · Prove2Me