On an `I`-adically complete module, `x ↦ x + r x` is bijective when `r` raises adic order.

Initializing...

On an `I`-adically complete module, `x ↦ x + r x` is bijective when `r` raises adic order. · Prove2Me