For the `I`-adic topology on `O`, the Borel σ-algebra of `O^n` is generated by the adic cylinders.

Initializing...

For the `I`-adic topology on `O`, the Borel σ-algebra of `O^n` is generated by the adic cylinders. · Prove2Me