The quotient of an `I`-adically complete ring by an `I`-closed ideal `J` is complete for the image of `I`.

Initializing...

The quotient of an `I`-adically complete ring by an `I`-closed ideal `J` is complete for the image of `I`. · Prove2Me