For the `I`-adic topology on `O`, the adic cylinders form a basis of the product topology of `O^n`.

Initializing...

For the `I`-adic topology on `O`, the adic cylinders form a basis of the product topology of `O^n`. · Prove2Me