If `J^k ≤ I ≤ J`, then a module is `I`-adically complete iff it is `J`-adically complete.

Initializing...

If `J^k ≤ I ≤ J`, then a module is `I`-adically complete iff it is `J`-adically complete. · Prove2Me