For an `I`-adic topology, the congruence cylinders `{b | ∀ j, b j - a j ∈ I ^ L}` are clopen (hence compact when `O` is compact), and their products are closed.

Initializing...

For an `I`-adic topology, the congruence cylinders `{b | ∀ j, b j - a j ∈ I ^ L}` are clopen (hence compact when `O` is compact), and their products are closed. · Prove2Me