2016, Liran Shaul, “Adic reduction to the diagonal and a relation between cofiniteness and derived completion”, inarXiv[1]:
Then adic reduction to the diagonal holds:. (2) Let be a commutative ring, let be a weaklyproregular ideal, let be an-module, and assume that the-adic completion of is noetherian (if is noetherian, all these conditions are always satisfied).