A map between finite products of adic rings that preserves congruence modulo `I₁ ^ L` (sending it to congruence modulo `I₂ ^ L`) on a set `C` is continuous on `C`.

Initializing...

A map between finite products of adic rings that preserves congruence modulo `I₁ ^ L` (sending it to congruence modulo `I₂ ^ L`) on a set `C` is continuous on `C`. · Prove2Me